Document the Jenkins sanitizer
WIP: jenkins sanitizer for test names