Assorted documentation tweaks for 2.0

* Android client build instructions
* Code downloading
* Protocol build
* VM build and run