This patch updates README to explain three checkpointing tools that are working
as of 2024: DMTCP, CRIU and selfie.
Also, minor details of README are updated and a comment saying that ckpt does not
work is added to Makefile.