Summary
-------
Add `-source` and `-target` options to `javac` corresponding to JDK 13.
Problem
-------
Part of starting development on a new JDK is adding .new `-source` and `-target` options to `javac`. These options are used in the compilation of the JDK sources.
Solution
--------
Add support for `javac -source 13 ...` and `javac -target 13 ...`.
The new value of -source/-target is also made the default.
Note: following the precedent set in JDK 11, "1.13" is *not* treated as an alias for "13".
Specification
-------------
No update is needed in `javac --help`; the conceptual man page should reflect the increased range of `-source`/`-target` values.