Rename hs9234-TestCollatz.out.txt to hs9234-TestCollatz.out