added symodstd.tst to Tst/Short.lst
updated docu + bugfixes
Merge pull request #272 from mohamed-barakat/spielwiese

added symodstd.tst to Tst/Short.lst
Added test for sat
Added test for quotient