v0.4.1

• Updated seal_lake to v0.2.0, now the CPM.cmake package manager is used to download dependencies. The variable CPM_SOURCE_CACHE can be set to an arbitrary directory to speed up CMake reconfiguration.