Resolve "Remove boost interval_map dependencies"

Merged Ramon Nou requested to merge rnou/195-remove-boost-interval_map-dependencies into master

Closes #195 (closed)

Edited by Ramon Nou

Merge request reports