Fixed PyGTK GUI for case where syntax errors in command-line-specified file are found. Fixed 'reload' behaviour for above case also. Fixed satsteam test cases.