IoT Manager: a Case Study of the Design and Implementation of an Open Source IoT Platform