Added an argument in prove.py to specify optionally the HTML graphical output, instead of printing it always to stderr
Added an argument in prove.py to specify optionally the HTML graphical output, instead of printing it always to stderr

mynlp/ccg2lambda,mynlp/ccg2lambda,mynlp/ccg2lambda