p-adic Arithmetic and Parallel Symbolic Computation: an Implementation for Solving Linear Systems over the Rationals