Add NonlinearComplementarityConstraints, as a subclass of ConstraintManager. Added three formulation options.