Nix and CI improvements
This PR rolls back to a slightly older version of nixpkgs, where static compilation of libpq still works. Can be updated again, when the upstream nixpkgs issue is fixed.
Furthermore, the CI now also builds the Docker images as specified in the *.docker files, not only by means of Nix.