Added jacobi_symbol method to Natural
Lucas test