GitLab

* Fix figure links (also to fix pdf compilation)

* Hack pdf doc compilation

* Hack pdf doc compilation

* Set the priority of figure formats when building html, add png format fig to fix pdf compilation