Remove sonic-pi and minecraft-pi. fixes #49
Merge branch 'devel' into minor
Remove oracle-java8-jdk package, free up ~200MB
Merge branch 'devel' into minor