Add necessary fields for private tags to database
Introduced private tags

All logged-in users can now create private tags, which only they
themselves can see, modify and add to problems.
More consistent API

Changed some URLs to make them clear and coherent.
Wrote class for evaluations/comments
Separate private tags from public tags in API

This solves the problem of private and public tags having the same
name. While we were at it, we also introduced ways for users to
optically distinguish them from each other. And the tag selector enables
only the tags a user can write.

The new query for the tag selector will also (hopefully) solce the
problems we had with PostgreSQL.

Some other issues with private tags and tags in general were fixed.
Merge branch 'private_tags'

Conflicts:
	.htaccess
	conf/nginx.d/rewrite.conf
	include/head.php
Resolve issues with statistics

Especially where non-public things are involved.