Added hol.bat script to load up an FSI session with all of our code, just as in hol-light.