remove pi_chudnovsky (obsoleted by Arb)