add instructions for adding the ev3dev package repository