documentation/python: properly handle nested INPUT_MODULES.

documentation/python: properly handle nested INPUT_MODULES.

The use case is explicitly including a module that otherwise doesn't get
transitively imported from the parents. They were treated as a standalone
root module until now, causing quite a mess. Now they aren't, but there's
an additional check requiring the user to explicitly supply also all
parents.