Dirac–Witten Operators and the Kastler–Kalau–Walze Type Theorem for Manifolds with Boundary