Changed the implmentation of plugin settings, added more functionality there and improved existing, improved the LaunchProgramPlugin, and minor changes elsewhere.