Improved documentation.

- Update authors including Mikko and describing his work of last year.
- New "Famous users" page which mentions a few of igprof users.
- New HTML Output format page which describes the format of the
  web pages generated by igprof.
- Include more alternative profilers.