Make file paths in sessions system-independant
When using Why3 under MS-windows, a path in the session file may contains backslashes, preventing replaying the session on a unix-like system.
The path should be stored as a system-independant list of path components, to be reconstructed as a system-dependent acces path on need.