Finish clust -> clustering rename (and keep compatibility with -Dts.clus...

...t)

Keep -Dts.clust compatibility, rename the profile IDs as well, make default -ts.clustering for defs.sh.
How necessary do you think this is?