remove out-dated examples
Merge pull request #156 from runtimeverification/rmexample

remove out-dated examples