ROBOTTER
https://askubuntu.com/questions/1025753/how-to-install-latest-arduino-ide
Arduino for 3pi https://www.pololu.com/docs/0J17
put the things from the zip file into sketchbook/hardware/ -- in my case /home/rasmus/Arduino/hardware/libpololu-arduino
Ubuntu 18.04 users
$cd ~/robotter $mkdir ~/Arduino/hardware $unzip -zxvf libpololu-arduino-161018.zip ~/Arduino/hardware/