Rename MANUAL.txt to MANUAL.md