main
Fix typos
Add new apol main window implementation.
InfoFlowAnalysisTab/DomainTransitionAnalysisTab: Add help button.
apol: Add basic internal help viewer with QTextBrowser.
Enable some strict mypy options as a first step to fully strict mode.
setoolsgui: Address new errors in mypy 1.6.0.