Diversity Determination HamDiv: effectively measuring molecular diversity by shortest Hamiltonian circuits