improve jumplist
add TheOCamlDefEdit command and mapping
add document about commands and customization.