reproducible debian: add three new armhf build nodes, thanks to Vagrant, with maintenance and setup jobs