Use -split-sections in creating release binary.

This is supposed to reduce executable size.

.circleci/config.yml

@@ -20,10 +20,10 @@ jobs:
         command: stack --no-terminal setup
     - run:
         name: Run tests
-        command: stack --no-terminal test
+        command: stack --no-terminal test --ghc-options=-split-sections
     - run:
         name: Install executable
-        command: stack --no-terminal install
+        command: stack --no-terminal install --ghc-options=-split-sections
     - run:
         name: Create artifacts
         command: |

.github/workflows/release-candidate.yml

@@ -31,7 +31,7 @@ jobs:
         versions:
           - osarch: "windows-x86_64"
             arch: "x64"
-            stack_opts: "-j1"
+            stack_opts: "-j1 --ghc-options=-split-sections"
 
     steps:
     - uses: actions/checkout@v1

linux/make_artifacts.sh

@@ -16,7 +16,7 @@ ghc --version
 
 cabal v2-update
 cabal v2-clean
-cabal v2-configure --enable-tests -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-optc-Os -optl=-pthread' pandoc
+cabal v2-configure --enable-tests -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-split-sections -optc-Os -optl=-pthread' pandoc
 cabal v2-build
 cabal v2-test -j1
 for f in $(find dist-newstyle -name 'pandoc' -type f -perm /400); do cp $f /artifacts/; done