Split diffeq.rb into two, creating tokenops.rb

Diffeq.rb should be easier to read through, so the stuff with just
basic tokenization operations is in tokenops.rb. How to use them is in
diffeq.rb