Finished Flink-928

Taskmanagers are now displayed in the web interface @rmetzger
I would suggest to have a refresh rate of 2000 ms.