coptermanager: web interface and HTTP API for controlling multiple quadrocopters