Rename hs9234-RunCollatz.out.txt to hs9234-RunCollatz.out