Add rename button in all projects page
splitted from https://github.com/microsoft/pxt/pull/10016
@sae220 LGTM! lint is failing because of trailing whitespace. you can run the lint locally with gulp lint
@riknoll Thanks for your help. I forgot to add linter in Docker container. By the way, is there any recommended environment for developing pxt?
@sae220 we don't have a docker container or anything like that, but we have people who work on Windows, Linux, and MacOS on the team so they should all work fine! I personally use Ubuntu on WSL, and that's what I would recommend if you're on Windows
@riknoll OK. I'll use Ubuntu on WSL.
Can I cherry pick this for stable9.3? As I said before, we can't rename projects in pxt-minecraft now.
please do! tag me in the PR