User defined cleanup function

[bebuch]

If an exec functions throws, for all following modules is not the exec function, but the cleanup function called. This function call currently can not be specified by the user. So a module which communicates with a user interface can not alert about this throw. Therefore we need to add this.