A platform for remote compilation and over-the-air programming for IoT devices