Merge pull request #239 from chrrasmussen/fix-save-file-race-condition

Fix race condition where file is not saved before Idris command is run

Author: melted