new case study added
jasmin fixes
jasmin fixes II
examples updated
examples updated
comments added
extended example
remodularized Stratego code