moved isPredicateLabel from MetaK to KLabelConstant
Added information about isSort Klabels to "manual"
Merge pull request #250 from kframework/isPredicateLabel

moved isPredicateLabel from MetaK to KLabelConstant