Fixing gnss-sdr compilation errors.

Making gnss-sdr compile in Debian again:
- disabling OpenCL
- forcing armadillo to install from source

Tested on Debian 7.6