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)
bugfix for save project / save files (missing validation of the project name -- users could still specify defaultProject as new project name)
bugfix for issue #92 https://github.com/thehogfather/pvsio-web/issues/92
minor cosmetic changes to newProject template form
improved file handling -- files and directories are automatically saved on disk when they are created in filetreeview by the user
addresses issue #89 file list should now scroll to the selected item
Merge branch 'alpha' of github.com:thehogfather/pvsio-web into alpha

# By PaoloMasci
# Via PaoloMasci
* 'alpha' of github.com:thehogfather/pvsio-web:
  improved file handling -- files and directories are automatically saved on disk when they are created in filetreeview by the user

Conflicts:
	public/pvsioweb/app/plugins/prototypebuilder/FileTreeView.js
improved handling of files: on the server side, now we can create folders recursively; on the client side, we always use relative paths (base path is the project folder)
merging TreeList.js
removed debug line
improved rendering in TCAS demo
improved TCAS demo
fixed double server messaging when renaming project folders and files
improved handling of files: the server now sends the file content back to the client when opening a project
filtering out pvsbin directory from folder structure returned to client
bugfix: automagic file content creation (due to children with full path in pvsFiles)
fixed #93
unloading emu link no longer tampers with saved projects
bugfix: wrong condition for setting the overwrite flag when saving a project
improved server (asyncronous creation of new projects) and client feedback when creating new projects
Merge branch 'alpha' of https://github.com/thehogfather/pvsio-web into alpha