The version released for the January 2015 POPL tutorial

This is a binary package that includes the F* typechecker bootstrapped in OCaml.
Compared to the previous release, it relies on fewer dependencies are should work out-of-the-box on all platforms.

The package also includes the tutorial page and exercise files.
Please read to the included platform-specific instruction files.