Set Derecho version to 2.4.1

We're ready to make the next minor release of Derecho, so this commit
will be used as the tagged commit for the release. Also fixed a minor
error in the githook script that generates git_version.cpp (the include
path should use <> not "" since it is not a relative path).

CMakeLists.txt

@@ -5,7 +5,7 @@ project(derecho CXX)
 
 # Version
 set(derecho_VERSION 2.4)
-set(derecho_build_VERSION 2.4.0)
+set(derecho_build_VERSION 2.4.1)
 set(CMAKE_CXX_STANDARD 17)
 set(CMAKE_POSITION_INDEPENDENT_CODE ON)
 set(CMAKE_CXX_FLAGS_DEBUG "${CMAKE_CXX_FLAGS_DEBUG} -DDERECHO_DEBUG -O0 -Wall -ggdb -gdwarf-3")

githooks/pre-commit

@@ -34,7 +34,7 @@ cat > $(pwd)/src/core/git_version.cpp <<EOM
  * local repository's .git/hooks/ directory.
  */
 
-#include "derecho/core/git_version.hpp"
+#include <derecho/core/git_version.hpp>
 
 namespace derecho {
 

src/core/git_version.cpp

@@ -12,9 +12,9 @@ namespace derecho {
 
 const int MAJOR_VERSION = 2;
 const int MINOR_VERSION = 4;
-const int PATCH_VERSION = 0;
-const int COMMITS_AHEAD_OF_VERSION = 4;
-const char* VERSION_STRING = "2.4.0";
-const char* VERSION_STRING_PLUS_COMMITS = "2.4.0+4";
+const int PATCH_VERSION = 1;
+const int COMMITS_AHEAD_OF_VERSION = 0;
+const char* VERSION_STRING = "2.4.1";
+const char* VERSION_STRING_PLUS_COMMITS = "2.4.1+0";
 
 }