Most of the content of README.rst was moved to a separate user manual, and to a build manual. The README was simplified to provide just the most important information. The user manual was extensively reworked, and beautified with images.