settings: add experimental TabWidth advanced option for experimenting (cf. issue #15)