[henshin-dev] Examples updated

[Christian Krause <henshin.ck@xxxxxxxxx>]

Hi,

for those of you who dob't follow our Twitter channel, there are two new 
examples for state space analysis in Henshin available on our website 
(Gossiping girls and Probabilistic Broadcast). I also added some Java 
source code to the Bank example that shows the basic usage of the 
interpreter.

Cheers,
Christian