Fix #140

  The Smtlib solver was translating Fin constraints to True, as it didn't know
how to handle them.  They should have been skipped, and returned back as
unsolved goals instead.
Add test cases for issue #58.
Export schema-parsing functions
exclude emacs autosave files from Cryptol dependencies in Makefile
update documentation of where clauses with mono-binds info
Merge branch 'master' into wip/mono-binds