Wipe out universal set

This pull request removes the UniversalSet class by introducing a set Difference class. The removal of UniversalSet was proposed [here](https://groups.google.com/forum/#!topic/sympy/KEPsVepimHs), though most of the people in the community have not expressed their options.