[e-lang] Joe-E command-line verifier

[David Wagner]

I don't think anyone ever announced this, so I thought I might as well
make note of it, for those who may be interested:

Earlier this year Adrian quietly released a version of Joe-E that includes
a command-line verifier, so that the Joe-E verifier can be used from the
command line in batch mode (without requiring use of the Eclipse GUI).
This was implemented by a Berkeley students Akshay Krishnamurthy and Kanav
Arora, under Adrian Mettler's direction and with Adrian's assistance.
Thanks, Akshay, Kanav, and Adrian!