initial port of Fedora-Dockerfiles