New version of map_extended
Updated mergesharp
Merge branch 'master' of https://github.com/rafewenger/sharpiso

Conflicts:
	src/mergesharp/mergesharp_isovert.cxx