Dockerfile for CentOS5 development environment