moved dump functionality to shared library
fixes
added basic functionality to load dumps after they have been saved
added remove_dump functionality, added comments
removed (hopefully) unused functions
opened dump management to the API (read-only)
fixed an error, added distinction between dump ID and filename
dumps with the same timestamp now get assigned different IDs. Now using a locking mechanism for access to the dumps dict.
dumps now available in backend, but unused.
fix
fix
completed integration of error dump management in backend
renamed some params to be compatible with future changes
new dump structure. updated dumpException()
added version information to dumps
updated documentation
updated documentation
added dumpmanager to backend (unfinished)
continued work on dump manager
dump data is now fetched automatically if queried but unavailable in dump manager