pygments.rb: add timestamp