Manage users with Flask-User

Switch to Flask-User for user and role management.  This also adds
password hashing.
Rename `Serie` to `PatchSet`

The term "patch set" is much more common that "patch series" and in use
by other tools such as Gerrit.
Nicer navbar

A nicer looking navbar with breadcrumbs leading back to the project and
a user menu.