Configure the Github user and repo from the address bar

by using browser routes
Start routing only if it has not already started
Merge branch 'optional-history-start' into github-refactor
Added hack to load the workspace
Added how to configure the repo from browser addressbar