Trigsimp using groebner bases

So, after spamming the list long enough, here is the pull request, finally. This is essentially a proof of concept implementation of trigsimp using ratsimpmodprime, implemented by Jerryy.

It can do some fun stuff, but gets slow quickly as the complexity of the input increases. I don't know if a "real-world" trigsimp based on this can ever work.