Volcanic CO2 detection with a DFM/OPA-based lidar