Add version number to user settings (close #11).