faction documentation

[Robert Morris]

I added documentation in a standard form to the .hh file of
most factions. I also made a script, in documentation/make-faction-html,
that produces an HTML page for each faction. Have a look at

  http://www.pdos.lcs.mit.edu/~rtm/facdoc/