plugin cleanup

added Hint to Toolbox interface documentation to point out that widgets shall not be deleted by the plugin after they were added.

call cleanup before exit of plugins. explicitly delete plugins after cleanup.

mentioned in commit 445feac4

merged