added coq-equations to gitlab-ci

Max Ole Elligerrequested to merge
include/coq-equations into main

Since the official Coq-Documentation references the Equations-Extension, it seems helpful to add it to the .gitlab-ci.yml-File.

Merge request reports