Recent developments at the ISOL facility of GSI Darmstadt