Add CI support
This change adds CI scripts with a manual job to update a Fedora Docker image and a build job that make sure the changes still build correct.
This change adds CI scripts with a manual job to update a Fedora Docker image and a build job that make sure the changes still build correct.