Merged recent changes from InstallationGnuLinux.rst that corresponded to old dependencies. Also, changed formatting.