Updating armadillo version and force source.

The armadillo .deb package does not suffice for gnss-sdr.
Also updating to a newer, maintained version.