Updating armadillo version and installation from source.

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