Edouard Lucas and Primality Testing