source-gen: Fix header comment indentation

A leading space was missing
More detailed timing info in run.ceylon