Fix Apron libraries in docker (PR #440)

Author: sim642

make.sh

@@ -156,8 +156,8 @@ rule() {
       # copy just necessary apron C libraries
       mkdir -p $PREFIX/share/apron/lib/
       cp _opam/share/apron/lib/libapron.so $PREFIX/share/apron/lib/
-      cp _opam/share/apron/lib/liboctMPQ.so $PREFIX/share/apron/lib/
-      cp _opam/share/apron/lib/libboxMPQ.so $PREFIX/share/apron/lib/
+      cp _opam/share/apron/lib/liboctD.so $PREFIX/share/apron/lib/
+      cp _opam/share/apron/lib/libboxD.so $PREFIX/share/apron/lib/
       cp _opam/share/apron/lib/libpolkaMPQ.so $PREFIX/share/apron/lib/
 
     # tests, CI