Support --profiling in addition to -profiling, following the 'two dashes for words, one dash for letters convention. Fixes #2679'