Opal: A System for Computing Noncommutative Gröbner Bases