Substitution now refers to a real substitution function. Unifier class removed.
createSubstitution() renamed createUnifier().
Merge pull request #59 from ontop/feature/substitution

Feature/substitution
Merge branch 'develop' into feature/tboxreasoner-improved