Added command line option to extract source code form checkpoints