(BinaryCloneDetection) debugging output and change defaults on api similarity
(BinaryCloneDetection) added indexes for speed
(BinaryCloneDetection) drop index if exists
(BinaryCloneDetection) improvements to clone detection heursitc
(BinaryCloneDetection) work on restricting arguments
(BinaryCloneDetection) only care about functions with more than 100 instructions
(BinaryCloneDetection) insert ratios into db
(BinaryCloneDetection) print out euclidean ratio
(BinaryCloneDetection) first version of library calls in api call signature
(BinaryCloneDetection) more constrained query for api similarity
(BinaryCloneDetection) remove unnecessary double query in api similarity
Merge branch 'simulator' into simulator-new-heuristic

Conflicts:
	projects/BinaryCloneDetection/semantic/CloneDetectionLib.h
(BinaryCloneDetection) fix bugs in merge
(BinaryCloneDetection) made lsh syntactic clone detection separate from path syntactic, and reverted coupling
(BinaryCloneDetection) rough calculation of API Call Similarity
(BinaryCloneDetection) speed up api call similarity detection
(BinaryCloneDetection) more constrained function API Call Signature
Extended woodpecker with const-assignment analysis.
(BinaryCloneDetection) fixed memory leak in run tests
Added new function getStartEState for transition graph with multiple start transitions. Adapted LTLChecker to use new function.