Armadillo: update to 4.000.0

Closes #614.