rfc: `lake new` should generate a license

Stream: lean4

[Alok Singh]

One of the reservoir inclusion criteria is an OSI approved license, and it'd be nice to include one by default to make opting into reservoir easier. Maybe that's not a goal of reservoir, but if it is, this would be nice.

[Julian Berman]

There's a previous discussion in #lean4 > lake new + LICENSE