Bump fsharp to fix the addin