Rename subset() to is_subset()

The subset() method is now marked as deprecated. The is_subset() method
also has a different semantic meaning now.

Earlier, self.subset(other) checked if 'other' is a subset of
'self'. However, now with the renaming it makes more sense that the
method call self.is_subset(other) is interpreted as check if 'self' is a
subset of 'other'.