Added PHP 7 check in installer and updater.

Till Brehm

2016-04-22 ebd0e986ed11f2a34fb58cdd33efbfab192083ad

 server/scripts/run-getmail.sh

@@ -14,7 +14,7 @@
else
  touch /tmp/.getmail_lock
  if [ "$rcfiles" != "" ]; then
    /usr/bin/getmail -v -g /etc/getmail $rcfiles
    /usr/bin/getmail -v -g /etc/getmail $rcfiles || true
  fi
  rm -f /tmp/.getmail_lock
fi