Add theme option globaltoc_includehidden and version bump.