Remove TABs from examples
[diningcryptos] Fixed loading leakageScript.sml
Removed trailing whitespace from all .sml and .sig files. This affects over 900 files and was done using emacs's delete-trailing-whitespace function in batch mode. Building the system with Poly/ML and Moscow ML seems to work, so I'm hoping these changes don't break anything. Please complain if they do!
added theories for dining cryptos example, information theory, probability theory, measure theory, and lebesgue integration