speedup

.docker/base.Dockerfile

@@ -17,7 +17,7 @@ RUN apt-get update
 # see the status. Not a big deal to have them here, only installed
 # nightly and the files are shared by all subcontainers due to
 # overlayfs.
-RUN apt-get -y --no-install-recommends install vim-nox emacs-nox && apt-get clean
+# RUN apt-get -y --no-install-recommends install vim-nox emacs-nox && apt-get clean
 
 # # Base dependencies: opam
 # # CI dependencies: jq (to identify F* branch)