Refactoring, efficiency: Improved efficiency of X_interval_set::add/subtract. Bugfixes: Invalid iterators. Stable {msvc-9.0}