Add support for processing one PO at a time.
Implemented PO-at-a-time submission to Isabelle.
Merge commit 'b0df7a5220d53e06a6a7311c0b384cf0e86d1a62' into rjp