Modify manual.html to note that bison 3.0 has java push parser built-in