Update navig-driver.js with new calling method for esprima/esprimaToAST
Update navig-driver.js with new calling method for esprima/esprimaToAST

jscert/jsexplain,jscert/jsexplain,jscert/jsexplain,jscert/jsexplain,jscert/jsexplain