HomeSoftware Heritage

grid5000: fix errors and make it faster