INSTALL: added Fedora mysql installation details.