Specify the use of input.txt in the README.