Add registered shutdown transaction in user docu
Add autogobble package for removing initial indentation in listings