Git proxy hardcoded port prevents multiple devboxes from syncing concurrently

[lihaoyi-databricks]

This is the only thing that prevents concurrent use, so although multiple concurrent devboxes is a bit unusual, it should be easy enough to make the port configurable to allow multiple devboxes to sync at the same time