Bring HDL_workflow/coriolis2 up to date with automated setup script dev-env-setup...