Put back doc upload into Gitlab CI job