First official release! Version 1.0.0

This is the final version of the application with work done by Fall 2023 ICSI 499 Team 1.
It includes full functionality for the construction and sharing of existential graphs.
Beyond the features from 0.9.0 this version includes:

• Simple Playwright UI test integration for chrome.
• Proof History and backtracking via a new sidebar in proof mode
• Ability to clear proofs via the "Clear Proof" button
• Code cleanup