Login with email + a lot more

Login only with email instead of username. Email must be unique, will
check this when creating a new user. Username can match. Database
definitions changed to match this.

Real name used as username for Google Plus users. 

Improved MyStuff page now displays statistics which have been accessible
for a week now that mister Sander hasn't bothered to make visible. 

Page title shows current code's name in source.html.

Websocket JS renamed. GoogleAuth deleted.