A Postgres-backed ContentsManager implementation for IPython