[records] New draft spec for JEP 359

[Gavin Bierman]

Happy new year everyone! An updated version of the records spec is available at:

http://cr.openjdk.java.net/~gbierman/jep359/latest

(which currently points to http://cr.openjdk.java.net/~gbierman/jep359/jep359-20200110/specs/records-jls.html)

This addresses:

* Removes `final` modifier on record components
* Adding missing annotation target PARAMETER 
* Corrects discussion of @SafeVarargs annotation
* Forbids capture of local variables in a local record
* Clarifies implicit formal parameter list in a compact constructor

Gavin