"normal form time" is now printed with info_level at least 2

"normal form time" is now printed with info_level at least 2 #105