revised dependencies, installation, and usage
revised dependencies, installation, and usage

juodaspaulius/clafer,juodaspaulius/clafer,gsdlab/clafer,gsdlab/clafer,juodaspaulius/clafer-old-customBNFC,juodaspaulius/bclafer_old