WinHugs opt.c, use new functions

2 Sep 2005

      Hi,

Instead of using MessageBox and hWnd use InfoBox for warnings.

Remove call to ReadGUIOptions, WinHugs will manage its own options
within its code. This means that <winhugs.h> is not required.

Thanks

Neil

Neil Mitchell