Rename README.devel to DEVEL.md