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

2 jobs for feature/julien/e-acsl-x509-parser in 37 seconds (queued for 12 seconds)