How to install Scala (scala, scalac) on a Raspberry Pi system