RelEx Dockerfile: run RelEx servers