rename editor tab width preference to 'indent width' and make read-only

the old pref was confusing and useless. We need to decide the indentation
step, but the details require refectoring the whole indent code.