support for Dotnet / Fsharp platform, via dynamically installed Isabelle component;