Addition of indentation property support.
Fixes indentation property of arguments to tactics such that they are
parsed correctly. Fixes idris-lang/Idris-dev#551.
Merge pull request #557 from ahmadsalim/feature/fixindent

Addition of indentation property support.