Interactive User Interface for the Buchberger Algorithm