workspace configuration mounts

[feloy]

In the workspace configuration, the mounts have been defined as:

{
  "mounts": {
    "dependencies": [
      "../main"
    ],
    "configs": [".gitconfig", ".claude"]
  }
}

This is problematic for several reasons:

• it is not possible to mount directories not relative to the directory where the sources are mounted, or to the home directory in the workspace.
• it is not possible to mount a directory with a different name in the workspace
• it is not possible to mount the directory as read-only

We will change with an unified and more flexible mounts value:

{
  "mounts": [
    { 
      "host": "/mount/path/in/host",
      "target": "/mount/path/in/workspace",
      "ro": true
    },
    { 
      "host": "$SOURCES/../main",
      "target": "$SOURCES/../main",
    },
    {
      "host": "$HOME/.gitconfig",
      "target": "$HOME/.gitconfig",
      "ro": true
    }
  ]
}

$SOURCES represents:

• in the host: the sources directory of the workspace
• in the workspace: the directory where the sources are mounted

$HOME represents the home directory of the user, in the host and in the workspace