realgud support for the Python ipdb
See https://pypi.org/project/ipdb/