main: remove tabs
free-strucutre: fix compilation
main: major cleanup
free-structure: fix build (the right fix this time)
main: introduce vec-simpl and lin-simpl CLI options
check_output: initial import (still WIP)
main: implement simplification options for mlsets
check_output: report failure if output doesn't match
main: add some more const specifiers
main: fix a silly bug
linear_set: use VecSet instead of std::set
semilinear: use VecSet instead of std::set
semilinear: cleanup and remove unneeded code
minor changes
pseudo: be consistent and by default do no simplification
Merge pull request #38 from michalt/perf

VecSet, main and general cleanup