Rename developer manual.md to developer-manual.md