make lastCheckpointSync a mavensmate-level non-persistent (beyond plugin session) setting