use of deprecated options of Rocqnavi to generate the documentation

[affeldt-aist]

analysis/Makefile.common

Line 121 in 86c655f

-coqlib https://rocq-prover.org/doc/V8.20.1/stdlib/ \

Warning: DEPRECATED: Use `-file-graph`
Warning: DEPRECATED: Use `-structure-graph`

@yoshihiro503