PMH First Working Version

Added Proof Mode, all inference rules and more themes and proof loading and saving.

Draw mode complete

The application is half done.

Release Notes:

• Many drawing modes have been implemented:
  1. Cut to place cuts
  2. Atom to place atoms
  3. Drag to move the canvas (infinity canvas)
  4. Move to move cuts and atoms
  5. Copy to copy cuts and atoms
  6. Delete to remove cuts and atoms
• AEGs can be saved and loaded.
• Unit tests have been started.
• Basic information pages for the application.
• Some themes