Calling Charon with the proper options is too hard

[sonmarcho]

I see too many people calling Charon with the wrong options (especially without the --hide-marker-traits): we should do something about it. First, the README doesn't explicitly say with which options to call Charon. Second, I think we should find a way of helping users notice that the options are wrong. In the long term we should of course make Aeneas directly call Charon, but in the meantime I was thinking that maybe we could also serialize the options with which Charon was called, to check them on Aeneas' side and raise a warning/error if we detect an option which is incompatible with Aeneas' extraction (in particular, detect that Charon was called with --hide-marker-traits).

[sonmarcho]

@Nadrieril what do you think?

[Nadrieril]

Oh, that's a great idea!

[sonmarcho]

Ok let's do that then