Optimize degrevlex_isless

[fingolfin]

This is untested, and may require additional tweaking. But the general idea is:

• don't convert things to strings and parse them back to do computations, it is very inefficient
• actually < for Vector{Int} already is lexicographic (and documented as such), so just use that
• don't sum over vectors twice, just remember the result the first time around :-)