Add lucas_sequence
Add PP code and simple test for frobenius_underwood probable prime test
Documentation updates