Havannah solutions

Havannah was solved using Python by 5 contestants. Solution sizes: average 3588 bytes (shortest: 2855; longest: 4955).