Threshold sizes should all be printed on one line
Threshold sizes should all be printed on one line

Otherwise autotune stops working.

Fixes #1269

HIPERFIT/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark,diku-dk/futhark,HIPERFIT/futhark