Add Dockerfile to build an RPM on CI