Changed kb to return either nonOrderable axiom or axioms and rules
Fixed kb to remove axioms with lhs and rhs equal
Changed ReductionRule to use record syntax
Removed ArgsState, added AlgorithmStatus

kb,kbc and persistance layer changed to use new type
Added Auth/Datatypes

Changed Persistance and Main to enable logging in and out via Auth
Added checkHash for cookie validation
Added updateUserContent to Auth

Added generateResult and menuResultPart to Main
Switched to Cabal packaging tool
Added generation of axiom and rule diagrams

Extracted menu, combined with generation of diagrams
Diagrams currently need img folder to be displayed properly
Extracted ServerPart Response templates to ResponseTemplates

Renamed Auth/Datatypes to Auth
Extracted command datatype
Added removing nth rule or axiom