Replaced the doc.awk script with one that generates nice HTML.
Fixed the documentation in the code comments accordingly.
Finished the README