Contiki-NG: The OS for Next Generation IoT Devices