Version 0.2.0

New features:

• Undo/redo buttons
• Add new entity function
• Keep the search string and results
• Warning for unsaved changes
• Improved display of axioms by sorting properties