13.16.8 dotimes count type-checked

cl:dotimes now always checks the type of its count argument. In LispWorks 5.1 and earlier versions, there was a type check only in code compiled at debug 3 .