Useful util functions - printing grammar stats and time-related ones