Merge remote-tracking branch 'origin/master' into stable

Author: Marina Polyakova

travis/run_tests.sh

@@ -64,6 +64,7 @@ if [ "$LEVEL" = "hardcore" ]; then
 	# perform static analyzis
 	scan-build --status-bugs \
 	-disable-checker core.UndefinedBinaryOperatorResult \
+	-disable-checker core.DivideZero \
 	-disable-checker deadcode.DeadStores \
 	make USE_PGXS=1 || status=$?