Some fixes and small changes to GettingStarted-Experimental, based on the discussion at https://github.com/klee/klee/pull/118