Recent development of the ISOLDE laser ion source