project: Treat names case-insensitively.

* Store project name case-sensitively.
* Do not allow case-insensitve duplication of project names.

This fixes #306.
user: Treat names case-insensitively.

* Store user name case-sensitively.
* Do not allow case-insensitve duplication of user names.

This fixes #306.