Improved UI-File Compilation Process

The previous manual search-and-replace is now automated thanks to Python!
Adjust "main_window" UI for Great Victory

- renamed 3 stages so they make sense
- changed integer-only settings to spinboxes
- renamed and rearranged some minor things so they're cleaner and/or
  more sensible
Update GUI-Control Code

- use new spinboxes
- correct enablement/disablement of "top x" and "threshold" spinboxes
Add "HTML" Output Option to the WorkflowManager
Remove "Spreadsheet" Output; Rename "List" to "Table"

This is more clear, since the "list" option will be outputting an HTML
table. In the VisTextDisplay, I'll add different choices for outputting
the table as HTML, Excel, or CSV.
Change to GUI Control Code for Previous GUI Changes
Add Test to WorkflowManager.export() for Filename Extensions
Modifications to VisTextDisplay for Outputting HTML-formatted Tables
Improved Formatting for HTML Table Output

- Lots of CSS!
- Column names!