Add the yacc4spl tool.