extra semicolons removed from (some) .sig files

Added a few newlines at end of files to suppress warnings from my
Mosml -> MLton preprocessor.

Gave OmegaSymbolic a signature file to make it clearer what this module
of the decision procedure does.