Added trivial launch.sh for convenience.  (No params; using default.)