New feature - real names.  Add a real name in preferences and user facing names changed to RealName [username].
Merge branch 'realnames' of https://github.com/PotatoDumplings/lesswrong into realnames

Conflicts:
	r2/r2/lib/errors.py