2019.05.13techGit Ghost: A command line tool to execute a program with local modifications without losing reproducibilityDaisuke Taniwaki