Update stop server method for non-Vagrant clients
Merge pull request #8 from opencog/stop-server

Update stop server method for non-Vagrant clients