Update and rename MANUAL.txt to MANUAL.md