avoid caching

Dockerfile.Linux

@@ -47,6 +47,9 @@ WORKDIR everparse
 # Build the package (skipping proofs)
 # this will also compile F* and KReMLin, since we did not fetch them through everest
 ARG EVEREST_THREADS=1
+# BUILD_ID is used by CI to avoid caching, starting from this point
+ARG BUILD_ID=0
+RUN echo $BUILD_ID
 RUN env OTHERFLAGS="--admit_smt_queries true" make -j $EVEREST_THREADS package-noversion
 
 ENTRYPOINT ["/bin/bash", "--login"]