Removed the code which checks if NHol.dll has been built, because it was only there to ensure NuGet packages were available before running NHol interactively; now, we just use the new 'restore' command available in NuGet 2.7 to restore packages without building NHol.dll.