[hedgewars/f15] (12 commits) ...Merge branch 'f16' into f15

[Bruno Wolff III]

Summary of changes:

  57701f3... Rebuild for various ghc library updates. (*)
  fbe1b47... rebuild for bumped ghc-dataenc (*)
  a08c178... Rebuild for hslogger update. (*)
  6c8b4c0... Fix bump. (Date typo and actually update the release number (*)
  ea0ff74... rebuild with new gmp (*)
  e3313c8... rebuild with new gmp without compat lib (*)
  7b52c21... Initial update to 0.9.17 (*)
  4a14dbf... Adjust compiler opts patch for upstream changes (*)
  862ceed... Work around Text.Show.ByteString not being available (*)
  6ce2f0e... hedgewars-server now needs ghc-deepseq (*)
  af58b3f... The "state" to "State" change resulted in a build error (*)
  fd7f12d... Merge branch 'f16' into f15

(*) This commit already existed in another branch; no separate mail sent