Merged Issue179-2 branch into default.
Fixed Issue 147.
Fixed Issue 183.
Fixed Issue 186.
Added missing file, fixed build.
Refactored tab indexing.
Resolved Issue 86, and Issue 150.
Refactoring input panel. Fixed a small invariants setting bug.
Created two parseLog RPC tests, refactored testing.
Fixed a few build issues, added clean target.
added more simple tests
Refactored parseLog RPC, added parsing and debugging options screens.
Implemented the newly added special options.
Slight fix to parse error message.
Moved stack trace printouts to bottom of page.
Fix small null ptr exception due to click events that do not hit the right target.
Added link to show list of invariants as a text list.
Added top welcome message and help popup with no content.
Slight formatting and comment fixes.
Expanded NIFby mining test.