Reformatted source to 4 spaces
Reformatted examples to use 4 space indentation
Merge pull request #20 from runtimeverification/reformatCode

Convert tabs to spaces