fix nabl-get-name generation for corner case where pattern and name are
the same
Merge branch 'master' of git@github.com:metaborg/nabl.git