Have @disjunction automatically add exactly one constraints with a keyword argument

Have @disjunction automatically add exactly one constraints with a keyword argument #93