Fix a typo
Merge remote-tracking branch 'origin/integer_factorization_with_ecm' into integer_factorization_with_ecm

Conflicts:
	src/ntheory.h
Change B1 value
Implement `lehman method`
Fix test cases
Add new test cases