System of Computer Algebra for finding exceptional E8 group bases with Gröbner-Shirshov algorithm