Brought back the original README and made
Also fixed doc.awk to take care of < and > in <pre/> sections.
Fixed the font of the generated HTML