Docker configurations to facilitate installation, configuration, and environment setup for developers