Improved signal handling/logging when exiting
Improved signal handling/logging when exiting


Former-commit-id: 009b06588d737a7f2359c8207f48fd54b2b68262
DavidAce/DMRG,DavidAce/DMRG,DavidAce/DMRG,DavidAce/DMRG