Removed the CI page and introduced a new page describing third party tooling. This page provides a comprehensive description of our usage of these tools and now includes YourKit.