bump version to 0.9.3 and add version identification in the title bar. Autoupdate works end-to-end in this version