Slightly better kernel prettyprinting.
Slightly better kernel prettyprinting.

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