Fixed:
ocrd workspace list-installedshould not create spurious entries formoduledirfiles, #940OcrdResourceManager.downloaddoes not need to querysizevia HTTPContent-Lengthin most cases, #924, #939make install: Reinstall shapely to work around shapely/shapely#1598, #947
Changed:
ocrd workspace bulk-add: Generate file_id consistent with conventions from filename if no--file-idgiven, #943