feat(docs): rename DevIn Input Language to DevIn Agent Language #101

The file `docs/development/devin-input-language.md` has been renamed to `docs/development/devin-agent-language.md` to better reflect the content and purpose of the document. The title has been changed accordingly, and the language specification has been updated to clarify the use of the `#` symbol for referencing third-party system APIs. Additionally, a new section on case design with an example of AutoCRUD has been added to provide more detailed examples of how the DevIn Agent Language can be used in practice.

Author: phodal

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

@@ -1,6 +1,6 @@
 ---
 layout: default
-title: DevIn Input Language
+title: DevIn Agent Language
 nav_order: 4
 parent: Development
 ---
@@ -22,7 +22,7 @@ Based on: [JetBrains' Markdown Util](https://github.com/JetBrains/intellij-commu
 - `/` Builtin Command, natural language command with IDE/editor, like read file, write file, etc.
 - `@` Agent, natural language custom function / system function name, the handler or command, 
 - `$` Variable, natural language variable name, like file name, file content, etc.
-- '#' 3rd party API, like `#kanban`, `#maven`, `#gradle`, etc. 
+- `#` Third-party system API for traditional, like `#kanban`, `#issue`, `#github`, etc. 
 
 ## Language spec
 
@@ -33,10 +33,33 @@ used ::= (
     AGENT_START AGENT_ID
     | COMMAND_START COMMAND_ID (COLON COMMAND_PROP?)?
     | VARIABLE_START VARIABLE_ID
+    | SYSTEM_START SYSTEM_ID
 )
 
 code ::=  CODE_BLOCK_START LANGUAGE_ID? NEWLINE? code_contents? CODE_BLOCK_END?
 
 code_contents ::= (NEWLINE | CODE_CONTENT)*
 ```
 
+## Case Design
+
+### AutoCRUD
+
+```devin
+@create /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
+\`\`\`java
+public class Controller {
+    public void method() {
+        System.out.println("Hello, World!");
+    }
+}
+\`\`\`
+```