Bugfix for padic_poly_derivative.
Merge remote-tracking branch 'sebastian/trunk' into trunk
Sebastian's fix is better than mine