add new terms

[nicolevasilevsky]

@katiermullen

• I created logical axioms for the terms and the superclasses are inferred (rather than asserting the superclasses)
• I added the parent 'skeletal dysplasia' to osteochondrodysplasia because a synonym of osteochondrodysplasia is congenital skeletal dysplasia (this ensured the subclasses are inferred in [NTR/gene] SLC26A2-related skeletal dysplasia #8753)
• add equiv axiom to 'osteogenesis imperfecta, COL1A2-related, dog' (see [NTR/gene] COL1A2-related osteogenesis imperfecta #8757)
• exclude superclass from 'Kniest dysplasia' (as this is a feature) and update definition) (address [NTR/gene] COL2A1-related spondyloepiphyseal dysplasia #8763)

FYI, this is my robot template

close #8785
close #8753
close #8754
close #8757
close #8758
close #8759
close #8763
close #8778
close #8784

[nicolevasilevsky]

@sabrinatoro and/or @cmungall - do either of you want to review this PR? ClinGen requested a lot of new grouping classes based on gene names. I checked where synonyms should be added to existing terms instead and did that in a couple cases. Otherwise, I thought their grouping classes made sense.