Add meet operator for StaticShapeGraph

The definition of `meet` comes from Section 5.1 of the paper
_Solving Shape-Analysis Problems in Languages with Destructive Updating_

See #2.