When we build Normaliz, should we use Normaliz `install*.sh` scripts to also build flint, e-antic, nauty, etc.?

[fingolfin]

Pro: User gets more features working "out of the box"
Con: Build time gets even slower.