Addition of indentation property support.

Fixes indentation property of arguments to tactics such that they are
parsed correctly. Fixes idris-lang/Idris-dev#551.