graphical interfaces now reload libraries when doing reload
After 11f28a8a, why3ide would not reload dependency libraries when reloading a file. This implements 2 modes for reload_files:
- reload with libraries and drivers (intended for IDEs and graphical interfaces)
- reload only the current file (intended to optimize Why3 used in scripts files)