Changed the way addproof works to indented-block style
Allowed a larger range of expression to work with slices (improves on
idris-lang/Idris-dev#524)
Merge pull request #528 from ahmadsalim/master

Improvement regarding parsing of slices, and addproof syntax