stdlib: add generated All.v requiring everything in stdlib
#4383
| Job | Run time |
|---|---|
| 25m 32s | |
| 25m 32s |
All.v requiring everything in stdlib
#4383
| Job | Run time |
|---|---|
| 25m 32s | |
| 25m 32s |