Remote access options for Sonic Pi in education

This is not true thanks to @robin.newman who made a deb package to allow you to have the latest version on RPI.