Contiki-NG, the Next Generation Contiki