Re-add Fedora 40 repo configs
    
    Those repos are not used in Rawhide builds but they make branching
    easier.
    
    Fixes: 43fa429 correct reponames
    Fixes: a79ee9b rawhide moves on toward f40