start
Merge branch 'master' into clustering

Conflicts:
	src/core/main.ml
	src/domain/itvDom.ml
	src/pgm/global.ml
commit
Merge branch 'master' into clustering
clustering
Merge branch 'master' into clustering

Conflicts:
	src/core/main.ml
cluster
clustering
clustering
Merge branch 'master' into clustering

Conflicts:
	src/core/main.ml
	src/sparse/sparseAnalysis.ml
Merge branch 'clustering'

Conflicts:
	analyzer/core/main.ml
	analyzer/pgm/global.ml
	analyzer/pre/itvPre.ml
	analyzer/semantics/itvSem.ml
	analyzer/sparse/sparseAnalysis.ml
rename dug
add clustering
alarm clustering (under construction)