Introduce tab width settings to options

Changed according to comments.