interactive tests

Revert "This is ~alpha1. Please revert this commit for the final vers…

…ion"

This reverts commit ca9229a.

Organize change log per version

argh

Version of F* master as witnessed at the '17 summer school in Nancy

Fixed permissions for libgmp-10.dll

Calling it beta1 on @msprotz's suggestion

Fix for the interactive mode (Thanks to Guido)

Merge branch 'master' of https://github.com/FStarLang/FStar

Homebrew formula is in process of being relocated from tap science to…

… core