Merge branch 'ansible' of ssh://git.planet-lab.org/git/bootmanager into ansible