extra semicolons removed from (some) .sig files

trailing newlines in *.{sml,sig} files from src/ removed

Trailing newlines from SML files in src/ were rendered in HTML documentation.

----------------------------------------------------------------------
Committing in a new example for the higher order quotient library.
This represents the abstract syntax of the lambda calculus, with
alpha-equivalent terms identified.

Modified Files:
README
Added Files:
lambda/MutualIndThen.sig lambda/MutualIndThen.sml
lambda/alphaScript.sml lambda/barendregt.sig
lambda/barendregt.sml lambda/betaScript.sml
lambda/etaScript.sml lambda/ind_rel.sig lambda/ind_rel.sml
lambda/liftScript.sml lambda/more_listScript.sml
lambda/more_setScript.sml lambda/reductionScript.sml
lambda/tactics.sig lambda/tactics.sml lambda/termScript.sml
lambda/variableScript.sml
----------------------------------------------------------------------