* 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

* Add png file for pdf compilation