Use wildcard file extension for documentation figures

Use pdf for LateX and PNG for HTML