Use gethrtime() for timing, show more information in the info view, and better layout of the configuration variable Rev: server/modules/icecast/icecast.pike:1.6