Merge pull request #4 from DrRataplan/master

Joining threads does not take generations into account
Bump version, add author.
Correctly propagate visited instructions.

These were previously not updated for threads which already spawned from the target of a join.
Add test case for Trace#contains bug.
Bump version number.
Add test/example for matching optional structures