remove octave

Author: andre-dietrich

Dockerfile

@@ -220,7 +220,7 @@ RUN DEBIAN_FRONTEND=noninteractive apt-get install -y iverilog
 RUN DEBIAN_FRONTEND=noninteractive apt-get install -y ghdl
 
 ### Octave
-RUN DEBIAN_FRONTEND=noninteractive apt-get install -y octave
+#RUN DEBIAN_FRONTEND=noninteractive apt-get install -y octave
 
 ### COQ
 #RUN DEBIAN_FRONTEND=noninteractive apt-get install -y coq