Use encrypted CONVERITY_SCAN_TOKEN