Merge remote-tracking branch 'origin/swift-3.1-branch' into stable

* origin/swift-3.1-branch:
  [scan-build-py] Increase precision of timestamp in report directory name
  [analyzer] ExprEngine: remove second call to PreStmt<CastExpr>