Developpment environment compilation and helpers scripts for the Whitebrick hardware