SetInterval: add dist function
SetInterval, dist: fix bugs
SetInterval, dist: fix bugs
Merge branch 'develop' into iset-dist

Conflicts:
	src/set/ibex_SetInterval.cpp
SetInterval: implementing feature request #84
Merge branch 'iset-dist' into develop