Bump catalog version for the addition of leader_pid in pg_stat_activity

Oversight in commit b025f32e.

Per private report from Julien Rouhaud.

src/include/catalog/catversion.h

@@ -53,6 +53,6 @@
  */
 
 /*							yyyymmddN */
-#define CATALOG_VERSION_NO	202001291
+#define CATALOG_VERSION_NO	202002071
 
 #endif