RFR: 8267140: Support closing the HttpClient by making it auto-closable [v17]

[Daniel Fuchs]

> Please find here an RFE that makes the `java.net.HttpClient` auto-closeable.
> 
> The API has been modeled on `ExecutorService`.
> 
> HttpClient::close() is a graceful shutdown and will wait until all operations are terminated before returning.
> If a request is in progress, and the caller doesn't pull the corresponding data (for instance, the request was sent with a BodyHandler.ofInputStream(), but the caller stopped reading the input stream) then close() may never return.
> 
> Therefore, additional methods similar to those present in `ExecutorService` are also proposed. In summary:
> 
> - `shutdown()`: initiate a graceful shutdown, but doesn't wait for termination. 
> - `shutdownNow()`:  initiate an immediate shutdown, attempting to cancel all operations in progress. Doesn't wait for termination.
> - `awaitTermination(Duration)`: await for termination within the given delay
> - `isTerminated()` tells whether the client is terminated
> 
> New tests have been added to test the proposed behaviors.
> 
> HttpClient tests (new and old) are still stable.

Daniel Fuchs has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains 25 additional commits since the last revision:

 - Merge branch 'master' into HttpClient-close-8267140
 - Further CSR review feedback
 - Merge branch 'master' into HttpClient-close-8267140
 - Included CSR review feedback
 - Merge branch 'master' into HttpClient-close-8267140
 - Fixed minor typos in test comments
 - Integrated feedback on tests
 - Minor updates. Added some links
 - Define operations. Clarify some of the things that may stall an orderly shutdown
 - Update src/java.net.http/share/classes/java/net/http/HttpClient.java
   
   Fixed typo
 - ... and 15 more: https://git.openjdk.org/jdk/compare/6d8ef3c5...4ebfca14

-------------

Changes:
  - all: https://git.openjdk.org/jdk/pull/13019/files
  - new: https://git.openjdk.org/jdk/pull/13019/files/6a9523a8..4ebfca14

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=13019&range=16
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=13019&range=15-16

  Stats: 4535 lines in 136 files changed: 3552 ins; 483 del; 500 mod
  Patch: https://git.openjdk.org/jdk/pull/13019.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/13019/head:pull/13019

PR: https://git.openjdk.org/jdk/pull/13019