Data (alignments.tar.gz) and source code (align_standalone.tar.gz) accompanying the paper Aligning Concepts across Proof Assistant Libraries