SASyLF 1.3.2 released

[John]

The latest version of SASyLF is 1.3.2 and is available on the SourceForge download page:
      https://sourceforge.net/projects/sasylf/files/Releases/

This release replaces both 1.3.1 and 1.2.6: it fixes bugs in both of these and should be as stable as either.
The code has been partially cleaned up, and the package/project features have been made to apply
only to proofs in projects with SASyLF nature.  If you don't use this "nature", then you won't get warnings
on package declarations, nor will you get the SASyLF package view.  In other words, it will behave
like 1.2.6 but with additional features.  It should run faster too; I measured 50% faster on long files.

The only new feature of 1.3.2 beyond 1.3.1 (which added a lot of new features) is that overly general cases
receive a warning.  Previously they were silently accepted which let to confusion later.

The new 1.3.1 features ("or" judgments, "use induction on x,y,z" and "do case analysis") are now documented on the wiki page.
The semantics of "by substitution" were also cleaned up (and are also documented).

Thanks to my ETH Type Systems students and TA Malte Schwerhoff for using and finding bugs in SASyLF, as well as suggesting enhancements.

Best regards,
John