ci: Add GitHub CI

[JanEbbing]

This adds basic CI to the project.

• Checks for DeepL copyright header on PHP source files
• Formatting/linting with phpcs
• Builds and publishes the Dockerfile
• Secret detection with gitleaks

Tests coming as a second step.