Batch Editor themed. I added two new pages that replace the old one.
One deals with batches and the other deals with items in a given batch.
Besides cleaning up some horrific, spaghetti AJAX, it also means that
when edting a batch clicking the back button behaves sensibly
and returns to the list of batches rather going to whatever random page
preceded the batch editor.