Magma should do it (http://magma.maths.usyd.edu.au/magma/handbook/text/970 http://magma.maths.usyd.edu.au/magma/handbook/text/970 claims a Alan Steel's non-comm

Magma should do it (http://magma.maths.usyd.edu.au/magma/handbook/text/970 http://magma.maths.usyd.edu.au/magma/handbook/text/970 claims a Alan Steel's non-commutative generalization of Faugère F4 and noncommutative Buchberger algorithm) and US institutions can get it via the Simmons agreement. Not sure what's good for home users, though.