CUDA-L1: Improving CUDA Optimization via Contrastive Reinforcement Learning