Make goto-definition-pop-mark key customizable, bump documentation