Engine version selection

The dk1 wrapper script resolves the engine version it downloads exactly as dk0 does, reading DK1_BASE_URL in place of DK0_BASE_URL. See Engine version selection.