JobManager webfrontend redesign and extension

New Features:
* New Design for webfrontend
* Dependency graph colored
* Cancel Jobs
* Show number of registered taskmanagers
* History of old jobs
* Timeline analysis of old jobs

Impressions:
![bildschirmfoto vom 2013-11-26 12 10 04](https://f.cloud.github.com/assets/724330/1621439/1bd8002e-568e-11e3-8c11-80fe950092c7.png)
![bildschirmfoto vom 2013-11-26 12 01 58](https://f.cloud.github.com/assets/724330/1621441/26ba7b98-568e-11e3-8620-3a717cddb77b.png)