Documentation/sphinx: add support for specifying extra export files