Merge branch 'ipdb-0.13.3' into 'master'

[ipdb] update to 0.13.3 using conda skeleton pypi ipdb

See merge request bob/bob.conda!446
2 jobs for master in 8 minutes and 33 seconds (queued for 3 seconds)