change .gitlab-ci.yml to use nmigen with smtlib2 support