Bot names and owners:
arando --> jdemeyer
andromeda --> jkroeker
Athena --> kdilks
debian_jessie_32 --> tmonteil
eddy --> Vincent.Neri (lri, Orsay, Paris sud)
edoras --> ?
kepler --> nilesjohnson
kevin-Virtualbox --> kdilks
geom --> dimpase
groebner --> jkroeker
icj-laptop --> chapoton
librae --> vdelecroix
Martin-Laptop --> mantepse
mangouste --> vdelecroix
Mercury --> kdilks
pcl337b --> ?
pi --> ?
poseidon --> kdilks
rk01-math --> dkrenn
rp01 --> ?
sage4 --> jdemeyer
silence --> ncohen
ubuntu_vivid_64 --> tmonteil
zorn --> agd