added possibility to remove errordumps from backend
bugfix
removed a done TODO
Merge pull request #798 from t-gerhard/errordump_remove

added possibility to remove errordumps from backend