Updated User Guide installation section.

For Fedora 18 package manager.