new dump handler for errors
fix
fix
fix
fix
fix
fix
putting more info to description
fix
save-dump for Errors now defaults to False for UserErrors
Merge pull request #845 from t-gerhard/errordump_error

Errordump error