add theme var for toctree(..., includehidden=..)

As of sphinx 1.2 hidden toc entries are excluded from the global toc by
default. Add a variable that default to true for backwards
compatibility.