added a bash function to keep intermediate mlton files and put them in a seperate directory