Installing an operating system on your Raspberry Pi just got a whole lot easier