Updated battleship.py - documentation

Updated CheckWin() pre/postconditions