Gravar-mail: DBAli tools: mining the protein structure space