Update Dockerfile

Added a few explanatory comments about why certain environment variables are set and why the download script is modified to download r42 instead of r43.