ipython db.py shell extension