Add the decimate function to series.py so older versions can use it.