feat(devin-lang): add support for DevIn Language in kover and update documentation

#101

This commit introduces support for the DevIn Language in the kover task and updates the documentation to reflect the latest changes. The DevIn Language is a new input language designed to improve the completion experience for special characters such as `@`, `/`, `#`, `$`, and `!`. This commit also updates the documentation to version 1.7.2 and includes an example of how to use the DevIn Language in code.

Author: phodal

build.gradle.kts

@@ -437,6 +437,7 @@ project(":") {
 
         kover(project(":exts:database"))
         kover(project(":exts:ext-android"))
+        kover(project(":exts:devin-lang"))
     }
 
     task("resolveDependencies") {

docs/development/devin-agent-language.md renamed to docs/development/devin-language.md

@@ -1,17 +1,17 @@
 ---
 layout: default
-title: DevIn Agent Language
+title: DevIn Language
 nav_order: 4
 parent: Development
 ---
 
-[email protected].1
+[email protected].2
 {: .label .label-yellow }
 
-# DevIn Input Language 
+# DevIn Language 
 
-In issue [#101](https://github.com/unit-mesh/auto-dev/issues/101),
-in order to make `@`, `/`, `#`, `$` and `!` completion better, we introduce a new input language: DevIn.
+In issue [#101](https://github.com/unit-mesh/auto-dev/issues/101), to better interactive with LLM, and also 
+handle `@`, `/`, `#`, `$` and `!` completion better, we introduce a new language: DevIn.
 
 Code: [DevIn Language](https://github.com/unit-mesh/auto-dev/tree/master/exts/devin-lang)
 
@@ -46,12 +46,9 @@ code_contents ::= (NEWLINE | CODE_CONTENT)*
 ### AutoCRUD
 
 ```devin
-@create /file:src/main/java/com/example/Controller.java
+Explain code /file:src/main/java/com/example/Controller.java
 ```
 
-```devin
-/file:regex("*.Controller")
-```typescript jsx
 
 ```
 /edit /file:src/main/java/com/example/Controller.java#L1-L12