Add Jenkins-specific versioning