New functions for checking multiple sets

[linuswagner]

Add two functions to Set library:

1. intersection to get the intersection of multiple sets
2. isDisjoined to check if multiple sets are pairwise disjoined