docker files for setting up disco