indent_lines
Description:
Inserts one indentation level at the beginning of the specified lines.
The empty lines are not indented.
Parameters:
| this | a SourceView. | 
| start | TextIter of the first line to indent | 
| end | TextIter of the last line to indent |