Tab width (new option in editor settings)

- better options management to simplify the integration of others (if any)
- added two options for handling tab ('tab width' and 'indent with tabs')