Moved dispute.txt to problem.txt after discussion

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