Computer Algebra for Lattice Path Combinatorics