Boost is a runtime dependency (#3709)

Partial fix for #3708;
the full context for why this change is required is written up in that
issue.

package/arch/PKGBUILD

@@ -8,8 +8,8 @@ arch=('x86_64')
 url="https://github.com/runtimeverification/k"
 license=('custom')
 groups=()
-depends=( 'bison' 'clang' 'diffutils' 'flex' 'fmt' 'gawk' 'gcc' 'gettext' 'gmp' 'grep' 'java-runtime' 'jemalloc' 'libsecp256k1' 'libyaml' 'lld' 'llvm' 'make' 'mpfr' 'patch' 'python' 'tar' 'z3' )
-makedepends=( 'boost' 'cmake' 'jdk-openjdk' 'maven' 'python' 'zlib' )
+depends=( 'bison' 'boost' 'clang' 'diffutils' 'flex' 'fmt' 'gawk' 'gcc' 'gettext' 'gmp' 'grep' 'java-runtime' 'jemalloc' 'libsecp256k1' 'libyaml' 'lld' 'llvm' 'make' 'mpfr' 'patch' 'python' 'tar' 'z3' )
+makedepends=( 'cmake' 'jdk-openjdk' 'maven' 'python' 'zlib' )
 checkdepends=()
 optdepends=()
 provides=()