Updated to 1.3, adding command line arg processing

Note that these are all very much untested, bug fixes will come out
quite soon.
Also updated convenience Jar.