Added texlive-fonts-extra

Some of the fonts available in Debian are not available in Fedora...