additional manually-written configuration files
It would be nice to have some additional configuration files on top of why3.conf, so that configuration is not entirely re-written by Why3 at each run. This would avoid the insertion of the "\n" in the user strategies, and prevent user data loss for unknown causes (this happened for some user strategies).