Electronic gas lighter