Initial check-in of djvu to ocrml transformation script