A Dockerized PostgreSQL development server