Replaced 'MANUAL.txt' by 'MANUAL.pdf' in README.md