add octave back

Author: andre-dietrich

Dockerfile

@@ -220,7 +220,7 @@ RUN DEBIAN_FRONTEND=noninteractive apt-get install -y lua5.4
 #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