Apply various minor fixes

* Fixed the `--list-running-machines' for Android (analogous to fix the day before yesterday)
* More debug logging
* `check_android_proc' now uses the current user name.
* `stop_helper' no longer reads the configuration and overrides the port
* Return some values that were surpressed
* Added missing $VM_{STARTUP,STOP}_TIMEOUT value (unbreaks machine SSH)