Document renpy.display_menu as a statement equivalent.
Add menu docs.
Only write documentation if changed.

This might lead to a slight speedup in sphinx, which seems to cache
unchanged files.