Official: Palermo's Viviano to Arsenal