Rename `Serie` to `PatchSet`

The term "patch set" is much more common that "patch series" and in use
by other tools such as Gerrit.
Merge pull request #16 from dholm/feature/patch-set

Rename `Serie` to `PatchSet`
Nicer navbar

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

A simple form for editing a/the user's profile.
Global navbar

Use the navbar in every view and with appropriate breadcrumbs based on
the current context.