PlanetLab software license and copyright