rendertime: New plugin to show the time that was needed to render a page