sys_checkpoint.2: Update manpage with regards to checkpoint improvements

 * checkpointing threaded programs is now supported and TLS of each thread
   is properly restored
 * file descriptors representing kqueues are saved
 * MAP_VPAGETABLE mappings are supported
sys_checkpoint.2: Add implementation notes describing file format