Docker files to build images for FarCry development