Background of DMTCP moved to an Appendix.