Merge branch 'debian-dev-1.13' into 'master'

[gitlab-ci] Update debian-dev container version to 1.13

See merge request i4/manycore/emper!18

.gitlab-ci.yml

-image: "flowdalic/debian-dev:1.11"
+image: "flowdalic/debian-dev:1.13"
 
 before_script:
-  - apt-get update && apt-get install -y nasm
-  - apt-get install -y -t testing valgrind
   - |
     readarray TOOLS <<EOF
     c++