Rewrite of the LocalCompiler

This commit represents a merge of the old jnf-dev branch. The main feature is a complete rewrite of the local compiler:
* Uses lists instead of maps
* Stores a complete guarded flowtable in Local.t instad of just the positive portion. This simplifies many operations like intersection.