Added a dumpmanager side. Also responses to urlrequests to the dumpmanager
Merge branch 'master' of github.com:glab/ToMaTo into error_dump_management
Added an edit form and made some bugfixes for the dumpmanager API.
Merge branch 'master' of github.com:glab/ToMaTo into error_dump_management

Conflicts:
	backend/tomato/dumpmanager.py
Merge branch 'master' of github.com:glab/ToMaTo into error_dump_management
Added different functionalitys to the dumpmanager webfronted and fixed some little bugs
Bugfixes and added download and dump remove button.
Eclipse stuff
Merge branch 'master' of github.com:glab/ToMaTo into error_dump_management
Reverse particular merge conflict
Merge pull request #825 from swuest/error_dump_management

Created error dump webfrontend