🤖 GitLab integration

Placeholder.

Document how to run microCI from GitLab CI/CD, including checkout, binary download, SSH setup, and script execution.

Suggested structure

• pipeline trigger
• runner image
• download microCI
• prepare SSH keys and known hosts
• run microCI | bash
• collect artifacts