Adding DISABLE_OPENCL option.

gnss-sdr will not compile on Debian without this option set.
See also:
https://sourceforge.net/p/gnss-sdr/mailman/message/31989872/
https://sourceforge.net/p/gnss-sdr/mailman/message/32107975/