Update doc/sources/installation/installation-linux.rst

Adding Fedora 18 as it is now supported by OBS