Opal system for computing noncommutative Groebner bases