Implement interactive pre-building
The current ([8ec187ac]) set of scripts makes it complicated to work interactively on the B model, e.g. for discharging proof obligations.
The point of this issue is to update the existing scripts to allow for easier use of Atelier B in batch mode.