BattleShip on-chain logic

[utgarda]

• Implement BattleShip game logic in BattleShip.sol
• add access control for backend and top grid
• let it accept verifier address as constructor parameter
• test it in BattleShip.t.sol
• extract re-usable part as an abstract contract