add fedora20, rename fedora to fedora19