Update to use custom BNFC

Conform to [customBNFC pull request](https://github.com/gsdlab/clafer/pull/51).