v0.3.1

This release only fixes some bugs.

• Improved handling of positional arguments: Fixes #6.
• Fixed bug in QED-handling: Fixes #7.
• Added missing color for "Proposition" in fancy preset

Full Changelog: v0.3.0...v0.3.1