When saving a file, do not blindly append devbox.json to the file path.

Let's users pin the devbox version so there are no issues with people
running various devbox versions while working in team setting.

* Implements jetify-com#1371