Updated pindel

We have updated pindel to version 0.2.5a3