[PATCH 1/2] Update Fedora 13 repo config since it is now released. Add Fedora 14 (branched).