Update CHANGELOG for version 4.1.0

Author: m0n0x41d

CHANGELOG.md

@@ -5,7 +5,7 @@ All notable changes to Quint Code will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [4.1.0] - Unreleased
+## [4.1.0]
 
 ### Added