Reorganized README.md and the documentation front page

- README is shorter, includes only an introduction and links to the full
  documentation for details
- New documented topics: optional dependencies, compiler flags,
  environment variables