Equivariant algebraic K-theory of profinite Bieberbach group actions