make timeR_dump() private
Add configure option for timeR

Add the option --enable-timeR to configure to allow
compile-time-removal of timeR. All time measurements are eliminated,
but the additional source references are still kept.