Synchronize the installation instructions in the README with what
described in the user-oriented documentation, from where they will be
removed soon.

This is why having development-related information in two places is not
ideal...