Moved dispute.txt to problem.txt after discussion

https://github.com/shriram/repro-in-cs/pull/9