Gravar-mail: CPSP-tools – Exact and complete algorithms for high-throughput 3D lattice protein studies