fix URLs in HDL_workflow to refer to gitlab for nmigen, for now