Make batch mode actually work and add man page documentation. From Jos Backus.