Small fix to show only file names (not whole path) in menus
minor changes
merging changes from risav
merging Andrea's changes
theo window and theo app
changes to theo dialog
Merge branch 'master' of https://github.com/KWARC/Sally