[x220] added Agda
[server] prepare for hydra
[x220] moved /tmp into the RAM