minor changes in PVS Editor: button Include Existing Files renamed into Import Files; new files added to the project have now a default content (empty theory named after the file name)