The ISOLDE laser ion source for exotic nuclei