Get rid of the Makefiles

[sonmarcho]

trafficstars

The Makefiles are getting bloated in particular when it comes to the test generation, and are probably not the best way of managing a project like Aeneas today. It would probably better to have scripts or use dune/cargo (if we add a Rust executable) for everything.