Tab to space conversion

See commit messages.
No, the `TabsToSpacesConverter` converter below reads the preferences every time before it is executed from the preference store (may sound unnecessary, but all current auto edit strategies work that way and I have not seen any performance problems so far).