The 'file' nodes in sessions now have a boolean field, to tell if
they are detached or not.

The functions Session_itp.merge_files, Controller_itp.reload_files and
Controller_itp.add_file now return the set of parsing or typing errors that
occurred, instead of throwing exceptions.