Refactoring, optimizing: Improved efficiency of interval_map::subtract. Corrections for gcc. Stable {msvc-9.0}