Bugfix: Data reference tags can be longer than jump tags.
Merge pull request #645 from chriseth/fix_dataRef

Bugfix: Data reference tags can be longer than jump tags.