Committing remote changes from eniac — working version
TODO: make out file’s name the same as the input file with the .trace file extension, if that’s what’s required