This allows all developers to add ormolu autoformat on save in their
editors without worrying about creating huge diffs on files that haven't
been formatted yet.
If you format a file, remove the DISABLE comment to ensure it stays
formatted in the future.
- push/pull calls sync multiple times; to improve the output, I added sync'
like sync, which doesn't call `allDone`; so just call `sync` last.
- indent the sync progress to match the surrounding output
- hopefully close#1956 with a `finally` call