more contact tests for #3418

Adding mechanical constraint versions of contact tests that use the Dirac formulation, and vice versa.  Other than file name differences, the only meaningful difference in input files is the presence or absence of the line 'system = constraint' in the contact block.