Update for ceylon/ceylon.formatter@0695e8a

(When encountering an old profile with a numeric value for that options,
it's apparently discarded, and 'true' is chosen instead. I'm not quite
sure how that works - the CLI tool aborts - but I'm happy, because
that's probably the best behavior.)