Don't delete benchmark timing files in CLEANCOMMAND

Timing files produced by benchmarks are meant to be kept, and as such are named using the date, system, compiler and git hash. However, timing files are deleted by calling clean, making it easy to accidentally delete results, as I have just done. This PR removes *timing* files from the list of files deleted when cleaning.