A plugin for DrRacket that connects to a git server