Refactoring efficiency: Improved efficiency of split_interval_map::add, some adjustments for gcc. Stable {msvc-9.0, gcc-3.4.4}