José Cervaens y Rodríguez, hispanista portugués, comentarista del poeta catalán Jacinto Verdaguer