Docker definitions for Fedora