chore: install libkrb5-dev to build latest pg_tle in Dockerfiles

Author: imor

Dockerfile

@@ -791,6 +791,7 @@ RUN tar -xvf /tmp/pg_tle.tar.gz -C /tmp && \
     rm -rf /tmp/pg_tle.tar.gz
 RUN apt-get update && apt-get install -y --no-install-recommends \
     flex \
+    libkrb5-dev \
     && rm -rf /var/lib/apt/lists/*
 # Build from source
 WORKDIR /tmp/pg_tle-${pg_tle_release}

docker/orioledb/Dockerfile

@@ -913,6 +913,7 @@ RUN tar -xvf /tmp/pg_tle.tar.gz -C /tmp && \
     rm -rf /tmp/pg_tle.tar.gz
 RUN apt-get update && apt-get install -y --no-install-recommends \
     flex \
+    libkrb5-dev \
     && rm -rf /var/lib/apt/lists/*
 # Build from source
 WORKDIR /tmp/pg_tle-${pg_tle_release}