Skipping coverage for websockets
Adding jenkins-specific keys