The HARPS search for southern extra-solar planets