Updated the typecheck logo to 32x32
Implementted Save and Close for floating files.
Merge branch 'master' of https://github.com/samowre/PVS