Remote development on the Raspberry Pi (or Amazon EC2)