serializing compiled modules feature. can serialize/deserialize prims module. not feature complete yet. there are some issues in using the deserialized modules. also moving all projects to .NET 4.5.
Merge branch 'master' of https://github.com/FStarLang/FStar
reflecting tycon changes in syntax to ssyntax