Add a ports used section to the doc
Some breath
Merge pull request #271 from lra/doc_ports

website: Document used ports