Dockerfile for Redis server based on Fedora