Update armadillo to latest stable version 3.930.2