Errordump error

Closes #840

it is now possible to raise errors that are not dumped. Do this by calling the Error constructor or the check function with the argument dump=False. This has to be declared explicitly, the default is to dump an error.