Add buchtrace.lib to trace Buchberger's algorithm