Fully purge former submodule
Merge branch 'master' into fsharp-dev