links corrected in pattern-index
fix #13: publish guide to master branch
Merge branch 'gernots' into instrumentation_and_invariants