Warning or error on unrecognised command line arguments

[xrchz]

If you pass incorrect command line arguments to the CakeML compiler (e.g., misspelled or incorrect format) it silently ignores them. This can lead to surprising or confusing behaviour. The compiler should at least warn and probably reject unrecognised arguments. One approach would be to solve issue #248 .