Add toc element to Travis Pro page.