to upgrade to a new release of armadillo: 

- copy the armadillo file here
- replace the armadillo_bits directory by the one from the armadillo source
- ignore (or remove) armadillo_bits/config.hpp.cmake as we do not configuration