Arquivo de Índia, prédio, construção civil - Opera Mundi