added a VisualStudio solution in VS/FStar.sln