bugfix : clustering
Merge branch 'master' of github.com:skcho/zooberry
change the type of query
debug clustering
Merge branch 'master' of github.com:skcho/zooberry

Conflicts:
	analyzer/pre/pre.ml
	analyzer/research/newClustering.ml
alarm report (remove provens)
debug clustering
silent clustering
debug cluster
Merge branch 'master' of github.com:skcho/zooberry