Removing old duplicated information about the installation of Mercurium

The latest instructions to build Mercurium, along with the build requirements and configuration flags
are available at GitHub. Refer to those ones instead of duplicating the information.