add --no-check-unknown flag to suppress "specification for unknown variable" errors

The default behavior is to throw the error. I tested the change by modifying `tests/pos/GhcListSort.hs` to only export `sort1` and running liquid with and without the flag. Worked as expected.

fixes #50