Merge jnf-dev branch into master
Remove INSTALL.txt
Async by default
Revert prior baking-in of async
Remove Distributed Compiler
Merge pull request #247 from frenetic-lang/local_compiler_rewrite

Rewrite of the LocalCompiler
Merge branch 'master' into remove-choice

Conflicts:
	lib/LocalCompiler.ml