Fix errors in install list - is there no Greenfoot in Ubuntu repos?