Armadillo: update to 4.100.2

Closes #738.