DjVuLibre: Open Source DjVu library and viewer