Change public url to github

* Update documentation
* Replace PS1 with STOQ_BRANCH and instructions on how to set
  up your .bashrc to take advantage of that.

Change-Id: I10ba613594f921a0a0312348188316df3bef7d23