Remove trailing whitespace throughout examples/

Fix decidable_separationLogic/src for new by

Fix decidable_separationLogic examples

started with writing more complex pattern match heuristics

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!

Some adaptions to fix problems introduced by changes in used theories / libraries. The interface of Q- and listLib changed meanwhile and strings are defined as lists now.

Adaption to new StringTheory

Initial revision. This checkin contains a deep embedding of a decidable fragment of separation logic used by Smallfoot. There is a decision procedure for entailments in this logic as well.