Various signal.c tweaks for MPI: Avoid signal loops when signaling
parent for reload. If running Cygwin w/ fork or MPI, save session on
key press in case a following termination does not save properly.
Also clarify MPI requirements in doc/README-mpi.