Development environment with Docker and Fig