Havannah solutions

Havannah was solved using C by 3 contestants. Solution sizes: average 5044 bytes (shortest: 3611; longest: 7187).