Tabsize setting

This pull request adds a setting for tabsize, a pretty standard feature for text editors.