Install sonic pi 3.2 dev on ubuntu 18.04 LTS

Hi @robin.newman

Would you give us some tips to use this new method ? Which files to we have to use to build under Linux…

is that all to do ?