Merge pull request #238 from rrthomas/master

Fix #223: make command description available in individual commands’ help
Merge pull request #240 from rrthomas/master

Various fixes for Vagrant box usability
Run the demo script under Vagrant
Make rm of Vagrantfile more cautious
Fix installation-demo-typescript for Vagrant