This page has moved to crypto.katestange.net/crypto/regev-encryption-tools/.