converted portal.md to asciidoc format as an experiment

Change-Id: I5768c8d277273e4a8074602406197daa99c93408