+ reworked uncaught exception handler (no more piling up of exception
dialogs, issue #34)