Set an UA string with GitHub API requests

GitHub API requires an user-agent string to be present when making
requests to their API.

Close #464
Syntax highlighting using Prism

Close #455
Merge branch 'develop'