Porcheddu, Giovanni Antonio, ingegnere (1860-1937)