Electro-optical frequency modulation of an external-cavity diode laser