update lins to remove /
Merge branch 'gh-pages' of https://github.com/bpmn-miwg/bpmn-miwg-tools into gh-pages