Update release notes, adding howto pages for documenting individual release activities

Change-Id: I2fb29c4ed4467126bfcdaa097b1dd8329ce7adfe
diff --git a/VERSION b/VERSION
index dcb27a7..3564f00 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-2.12.5
+2.12.5.1-dev1