cosmetics + hpp inclusion instead of cpp
Merge branch 'master' of https://github.com/nathanael-fijalkow/acme--

Conflicts:
	Sandbox/MarkovMonoid.cpp
removed the abb -> abb bug