Add make target for building armadillo from source, since Ubuntu 13 doesn't have packages for Armadillo 4.