Improve porting guide
Add a doc/ directory where to put documentation, and a new porting.md
markdown file roughly documenting the porting process.
Add a doc/ directory where to put documentation, and a new porting.md
markdown file roughly documenting the porting process.