Add command prompt to start Hol.bat.
When double clicking on the "HOL Light" command prompt, hol.bat will start F# interactive and make use of the F# interactive use directive to run HOL Light as a REPL.

Signed-off-by: Eric G Taucher <researcher0x00@gmail.com>