added User-Agent because of http://developer.github.com/changes/2013-04-24-user-agent-required/
i've chosen "microjs.com-build-script" but if you like something else, please change
Merge pull request #431 from SimonWaldherr/GH-UA

added User-Agent because of http://bit.ly/15M5DpU