Correctly updated git_version.cpp
Correctly updated git_version.cpp

I can't believe I messed that up in the previous commit. When editing
git_version.cpp manually (as I have to do in a tagged commit, since the
commit-hook script won't work), it's important to change both the
constants and the strings at the same time.

Derecho-Project/derecho-unified,Derecho-Project/derecho-unified,Derecho-Project/derecho-unified,Derecho-Project/derecho-unified,Derecho-Project/derecho-unified