Juan 14/09/2020: change version to "pre-release" MNH-V5-5--0

src/configure

@@ -8,7 +8,7 @@
 if [ "x$XYZ" = "x" ]
 then
 # 
-export VERSION_MASTER=${VERSION_MASTER:-MNH-V5-5}
+export VERSION_MASTER=${VERSION_MASTER:-MNH-V5-5-}
 export VERSION_BUG=${VERSION_BUG:-0}
 export VERSION_XYZ=${VERSION_XYZ:-${VERSION_MASTER}-${VERSION_BUG}${VER_OASIS:+-${VER_OASIS}}}
 export VERSION_DATE=${VERSION_DATE:-"14/09/2020"}