Fix sphinx build to show all Proof objects in module

Change the sphinx setup/config such that it shows all kd.Proof objects at the toplevel of a module in the html docs. Github pages is enabled. Give a link that I can see the proposed resulting html from this issue