Incorporating murre
tool under cmsmon-tools.
#8236
Merged
murre
tool under cmsmon-tools.
#8236