Potential fix for #10 & other small improvements

* Potential fix for the very annoying problem described in #10
* Remove a few Dart-isms from the UI
* Do not keep the last run time in the launch configuration .launch file itself - annoying when the .launch files are source-controlled