Web-based MAVLink ground control based on Tornado and WebSockets