Amended parsing and pretty-printing code of UserConstraint to
handle qualifiers.

Qualified constraints are now accepted on the command line, but
the solver and other subsystems currently just ignore the
qualifiers and don't do anything differently from before.