remove dev dependency for leaderboard

Dockerfile

@@ -13,7 +13,7 @@ USER user
 COPY --chown=user ./main.py /mteb/main.py
 COPY --chown=user ./requirements.txt /mteb/requirements.txt
 COPY --chown=user ./download_data.py /mteb/download_data.py
-RUN cd /mteb/ && pip install -e ".[dev,leaderboard]"
+RUN cd /mteb/ && pip install -e ".[leaderboard]"
 
 WORKDIR /mteb