Uninstalled prover policies
During a replay with "why3 replay", or in the GUI, the existing policies for uninstalled provers are applied as expected. however, when a prover without policy is met, the dialog for selecting a new policy appears as in former interface, but the selected policy is not taken into account immediately, but only after saving preferences and restarting
Implementing this is more complex than in former IDE because of the ITP server mechanism. We need a new query type to modify server config (Set_config_param only applies on the [main] record, too bad)