Match procedure docs to actual CLI behavior

The procedure documentation now reflects what the CLI actually enforces, removing constraints that never existed.

• Updated CLI and framework pages to say procedure files can use any .yaml name; procedure.yaml is only the default lookup when running a directory
• Fixed the procedures page: names are not uniqueness-enforced and semantic versioning is a recommendation, not a requirement
• Added the distinction between the version field you bump yourself and deployments built automatically from every commit