Simple IDE for cross development for the Raspberry Pi