Remove some more outdated comments in the driver (which is a mess in other ways).
Remove some more outdated comments in the driver (which is a mess in other ways).

ihc/futhark,diku-dk/futhark,mrakgr/futhark,diku-dk/futhark,HIPERFIT/futhark,HIPERFIT/futhark,diku-dk/futhark,mrakgr/futhark,ihc/futhark,mrakgr/futhark,diku-dk/futhark,ihc/futhark,diku-dk/futhark,HIPERFIT/futhark,CulpaBS/wbBach