Use batch loading to speed-up load-hdb.py.