Replace mammoccio with user to avoid confusion

The whole mammoccio thing was getting confused, so now when we are talking about the logged in user, we call it user, while when we are talking about mammoccio, we are talking about a Mammoccio instance stored in the database. This should avoid confusion going forward (see the next commit, for example).

Signed-off-by: Emanuele <feliziani.emanuele@gmail.com>
Add a list of mammocci to the protected area

The protected are now lists all the mammoccios. This is preliminary to the "friend" feature that will be rolled out soon.

Signed-off-by: Emanuele <feliziani.emanuele@gmail.com>
Redirect to /protected when logging in

Now when the user logs in he will be redirected to the /protected page, unless he was already browsing somewhere else.

Signed-off-by: Emanuele <feliziani.emanuele@gmail.com>