- JWT key can be set from command-line (through a file). - User class split to a separate file to allow use by other tools. - Minor style changes.