Temporarily get rid of/disable deploy.sh

Due to changes on tiddlyspace.com deploy.sh will no longer work,
so for now there is a server-side script for deployment. Eventually
some awesomeness with triggering puppet could be nice here.
release 1.2.5

* Updated GettingStarted with better links to docs
* Fix in profile PuSH handling