Raspberry Pi gets RISC OS, can now play Elite