GenInc: An Incremental Context-Free Grammar Learning Algorithm for Domain-Specific Language Development