georep.js: aggiunta funzione getUserById per ottenere nick e mail di un utente conoscendone l'id