Fixing github obnoxiousness.
fixing for merge
adding fixed scroll bar to the top
Merge branch 'pages' into gh-pages
adding build status image
Merge branch 'pages' into gh-pages
Merging differences in index.html.