Add model quality checks

Closes #71 (closed)

TODO

• Add model quality checks to DSL
• Dashboard
• Fix generate notice
• Dependency licenses
  • eclipsefdn/emo-team/iplab#1717 (closed)
  • eclipsefdn/emo-team/iplab#1718 (closed)
• Add formatting, autocomplete and validation
• Write docs for help
• Add MacOS Python interpreter
• Fix issue with */+
• Restructure report
• Fix run via CLI
• Hide weak termination check
• Koen: Check on Linux (CentOS 7) and MacOS
• Deb: improve help of generalized confusions
• Deb: review
• Jozef review