Adds section with code examples to Small Step Semantics
Adds If node that accepts a conditional and two path nodes
Implements reduce step of If node

* two If node constructors available, one without else block
* tests added
Merge pull request #4 from justahero/add-if-else-conditional-node

Add if else conditional node