Rename Dev_manual.txt to Dev_manual.md