Use Console.WriteLine instead of 'printfn' to speed up module initialization.
Merge branch 'master' of github.com:jack-pappas/NHol