[gambit-list] Faster docker builds of git master