Benchmarks for Go interface variants

CPU profiles showed lots of time spent in type switches.  I wanted to
benchmark the relative performance of type switches vs method calls vs
integer switches.  It turns out that type switches are about 5x slower
than method calls.

This suggests that I should define a TermType method on the Term
interface which returns an integer constant.  Switch on this integer
instead of the Go type directly.

I've commented out these benchmarks because I don't want to run them
on a regular basis.
Track Komodo IDE configuration file

I don't want to reconfigure this on each new device.