Add Fedora 20 to compatible OSes