Add more set-like version constraint operations.

This adds support for union(), as well as checking if constraints are supersets
of or disjoint with one another. These are necessary for some version solver
work I'm doing in pub.

R=rnystrom@google.com

Review URL: https://codereview.chromium.org/1127783002