Continuous-wave light source at 317 nm based on frequency doubling of a diode laser