Merge branch 'simulator-andreas' into clone-detection

Conflicts:
	projects/BinaryCloneDetection/semantic/CloneDetectionLib.h
		Used local version for printing due to changes
		in the semantics printing API1.
	src/frontend/CxxFrontend/EDG
		Resolved by smgit
(POET) Fixed compile error for -D_GLIBCXX_DEBUG with g++ 4.4.5
(SqlDatabase) Emit elapsed time for each query when debugging
(Clone Detection) Fixed typo in usage message
(Clone Detection) Fixed incorrect assertion
(Clone Detection) Rewrote big UNION improving performance from 1s to 0.0000366s per query
(clone detection) split work on ip theft detection into worklists