Add link to DMTCP checkpoint/restart tool