Merge branches 'compact_logger' and 'simon' of https://github.com/DIVERSIFY-project/sosies-generator into compact_logger

Conflicts:
	src/main/java/fr/inria/diversify/transformation/query/KnownSosieQuery.java

- Also test on the StackElementBinaryReader. Finished to read following elements:

*  Vars
* Method calls  and method out
* Exceptions
* Test

And is all "in the air": https://soundcloud.com/snbrn/morgan-page-in-the-air-snbrn-remix