known_users now have an hl_pseudo, to avoid beeing highlighted
fixed (and updated) translations (but not translated :°)
pipobot.init: $PIDFILE instead of /var/run/$NAME.pid
known_users: !user hl command implementation
known_users: !user hl does not need integrity check
Revert "fix knwon_users admins"

This reverts commit 757f2f53934d56f046840759809db8b23c14a4d7.
useless with sqlalchemy…
known_users: hl_pseudo finally works
debian.init: PIDFILE goes to /var/run/pipobot/pipobot.pid, no more trailing spaces/tabs
Merge branch 'master' of github.com:pipoteam/pipobot
KnownUser.get_all() : like Occupants.get_all() but with antihl-pseudos
!user hl <pseudo> → !user antihl <pseudo>