Misc. utilities for experiments with IoT-LAB ( https://www.iot-lab.info )