High temperature semiconductor sensor for the detection of fluorine