#171, if you aren't on Windows, set the build script to executable
#171, make the demo app respond to --keep-going to imply not requiring user input
For the travis script, abort early if arguments are passed, so I can typecheck it locally
#171, in the travis script test the demo mode
#169, fix the docs for what happens with stdin