Merge branch 'feature/julien/e-acsl-x509-parser' into 'master'

[x509-parser] add E-ACSL target; add test DER certificate

See merge request !22
1 job for master in 69 minutes and 35 seconds (queued for 10 seconds)