Additions to Contiki, the open source OS for the Internet of Things