Gitpod prebuild

Stream: batteries

[Shreyas Srinivas]

batteries#924 is a tiny PR that updates the .gitpod.yml config file to prebuild batteries. This reduces waiting time for file to build. The elan self update step is to ensure that even if an old container is being deployed on gitpod, lean + lake are not affected.