Add Fedora 20 for SE Linux testing