CI merge gate: lint + typecheck + unit tests
Adds .gitlab-ci.yml (lint/typecheck/unit-test) and the task typecheck target. Plan d26a. First MR through the new gitlab-runner-01.
Adds .gitlab-ci.yml (lint/typecheck/unit-test) and the task typecheck target. Plan d26a. First MR through the new gitlab-runner-01.