File missing and argument errors could be improved

[briangmilnes]

I've run into multiple Sys_error no such file bugs.

Ideally for a user, it would not ask for a bug report when a file is missing. And it print just the help for the switch(es) that were violated and suggest a full fstar.exe --help.