KAM for gravity water waves in finite depth