Adds reading state from JS and addBoatProxy.
Merge branch 'master' of https://github.com/tdeekens/tda452-code

* 'master' of https://github.com/tdeekens/tda452-code:
  Moves all QuickCheck stuff to Properties.hs
  (Not finished) Stupid computer player
  Inermidiate not-working commit; dumb computer plays against given fleet