Merge "[HICN-25] Push ci-management script for building and deploying documentation"