[doc] README: CI badge, link to pdf
Passed
Millian Poquet
created pipeline for commit
14388329
, finished
For master
7 minutes 4 seconds, queued for 3 seconds