Project manifest files are missing lib path

`contracts/counter-account/miden-project.toml` and `contracts/increment-note/miden-project.toml` declare a `[lib]` table with kind and namespace but no path. midenc requires it, so a freshly generated project fails to build and throws:
```
Error: x failed to load Miden project from /contracts/increment-note/miden-project.toml
`-> unable to parse project manifest: missing field `path`
,-[/contracts/increment-note/miden-project.toml:5:1]
4 |
5 | [lib]
: ^^^^^
6 | kind = "note"
`----
```
The alternative fix is compiler-side, defaulting `[lib].path` to `src/lib.rs` the way Cargo does.

Vấn đề nằm trong hai tệp kê khai: contracts/counter-account/miden-project.toml và contracts/increment-note/miden-project.toml. Hãy xem bảng [lib] trong từng tệp và thêm trường 'path'. Giá trị dự kiến có lẽ là 'src/lib.rs' như được đề xuất, tương tự như Cargo. Sau khi chỉnh sửa, hãy kiểm tra bằng cách chạy lệnh build (midenc) trong thư mục dự án để đảm bảo lỗi đã được giải quyết.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.