Toolbox for symbolic computation with polynomials in noncommuting variables