To use this script, just include it in your page like this.
<!--[if lte IE 7 ]>
<script type="text/javascript" src="proxy.php?url=https%3A%2F%2Fgithub.com%2Fborder-box.js"></script>
<![endif]-->
Note, this script requires jQuery is present on the page.