changed "not" to "!"
removed some directories
removed another directory
the section describing the computation of poker probabilities has been rewritten
poker-triple.stlx has been reformatted
updated first exercise sheet
In order to take account of changes in SetlX, some programs had to be updated.
fix typos
Merge remote-tracking branch 'upstream/master'