* Added colored flags
* Improved html reports
* Added functions to reduce a solution by iteration
* Lowered trait bound on the used field in flag algebra operators
* Slightly optimized the flatmatrix data structure for extensions
* Update flag interface
* Change type in Cauchy-Schwarz matrices from u64 to u32 as it is way enough and it reduces file size
* Updated dependencies
