Fixed bug where the current working directory was changed but
we forgot to change it back.
Merge branch 'master' into imperial_config
Fixed session config not using correct scripts.
Kill default window in klee-cl session.