Fixes and improvements

- Switch to new Github bindings with fixed URL encoding; fetching contents
for paths with spaces now works (Testcase: github.com/jonathangerbaud/Klyph)
- Fix a BugSense reported issue
- Upgrade prettify
- Improve diff view layout (better screen estate usage)