MT#4525 Ignore ngcp-installer-pro-ha-v3 package

Presence of ngcp-installer-pro-ha-v3 can cause quite tricky
version identification problems in deployment script:

  http://paste.mgm.sipwise.com/show/601/

Since it's not used anyway (see
http://git.mgm.sipwise.com/gitweb/?p=installer.git;a=commit;h=9bc42cf0b29f0c2fec10ceca7a8aa9ddd58940bf)
let's just ignore it.

deployment.sh

@@ -1064,6 +1064,9 @@ if "$NGCP_INSTALLER" ; then
 
     wget --directory-prefix=debs --no-directories -r --no-parent "$INSTALLER_PATH"
 
+    # Get rid of unused ngcp-installer-pro-ha-v3 packages to avoid version number problems
+    rm -f debs/ngcp-installer-pro-ha-v3*
+
     # As soon as a *tagged* version against $DEBIAN_RELEASE enters the pool
     # (e.g. during release time) the according package which includes the
     # $DEBIAN_RELEASE string disappears, in such a situation instead choose the