Converted indentation to tabs

There was at least one space-indent remaining. Hopefully Textadept's
indentation converter got all of them.