Merge branch 'master' into next

* master:
  web: Add style sheet.
  web: Streamline INSTALL.
  web: Simplify main page.
  web: Let logo link to index.html rather than ".".
  web: Don't duplicate the html header.
  web: Get rid of doxygen.
  web: Convert QUICK_START to markdown syntax.
  web: Fix typo in README.

diff --cc Makefile
Simple merge