Added SBT support for chart parser
CHanged parser main
Added support for execution of a single analysis
some fixes
Fixed parser example
Changed parser output & added readme
Profiler fixes
Fixed materialization
Extended readme
Changed readme
add DateOps
flight example
flight ops
use flight ops
use AND
Merge branch 'master' into incremental-interpreter

Conflicts:
	idb/runtime/src/main/scala/idb/collections/Bag.scala
	idb/runtime/src/main/scala/idb/collections/Set.scala
incrementalize constraint type checker
propagate fresh type vars
propagate fresh sets
separate fresh name query