Add a field for situation_kind_lemma.

This field is used to store a canonical lemma for the situation kind when
it is not representable by a subtype.
Merge branch 'master' of https://github.com/hltcoe/concrete
Merge pull request #11 from dkolas/master

Add situation_kind_lemma to Situation