Rename dev-man.md to developer manual.md