Merge branch 'blog-old-frama-c-docker' into 'master'

[blog] new post about old Frama-C Docker images

See merge request !131
2 jobs for master in 1 minute and 49 seconds (queued for 12 seconds)