Development on Linux or Mac

Thanks to @robarago for this Rephone Arduino IDE for linux https://github.com/robarago/ArduinoGNULinux4RePhone. It works great.