Added the WeakUpTo library for use in the weak bisimulations.