Small tweaks for integrating into project's documentation (docs repository)

The sphinx documentation trees provided by ip-policy repository are to be integrated as part of the project's documentation - docs repository. This tweaks things a bit to have a clean aggregated build.