Add details about AuditProject/truecrypt-verified-mirror to article