Feature/demo filesystem

Refinements for Tuesday's demo.

* Filesystem now only shows top level folder of project
  in URL, rather than all folders at the user's root.
* GitHub button now goes to the user's project page on
  GitHub, instead of going to GitHub's homepage.