update web jison
remove generated file from git
change copyright dates