scripts for setting up the ev3dev distro