Std in the standard lake template

Stream: lean4

[Shreyas Srinivas]

Currently lake new <project_name> starts without Std. Shouldn't Std be part of the template (along with fetching cache etc), since it is in some sense the standard library with all the basic data structures?