Use soft tabs if the option is to indent with spaces.

Fixes https://codio.myjetbrains.com/youtrack/issue/codio-3313