DotCI 2.5.3 release
Remove DotCI add a bunch of Jenkins plugins.

This a major refactor that removes DotCI and instead utilizes a bunch of
GitHub and other plugins. Works better, feels better.