Move developer documentation to docs/devel/

Fix links.
Merge pull request #1807 from erictune/dev_doc

Move developer documentation to docs/devel/