add back in most of Konstantin's signal code, but:

- never change the handler after startup

- only the original root process does any deletion

this should fix the problem where creduce-* directories are
left when C-Reduce is killed
mention setting TMPDIR in the readme