Unoficial repo with snapshot of Armadillo library (4.200, http://arma.sourceforge.net/) for easier submodule linking.