Ide pref change
fix #418 (closed)
Make it possible to manually add provers in the why3.conf (use case: add a different editor for Coq). I mean those provers won't be erased by why3config --detect or editing preferences in the ide. In ide, allow preferences to be changed for the current session.