adds first version of satisfiability#185

PascalSenn wants to merge 6 commits intomaingraphql/composite-schemas-spec:mainfrom

pse/add-satifiabilitygraphql/composite-schemas-spec:pse/add-satifiabilityCopy head branch name to clipboard