Warn about non integer --profile arguments
Created by: JonRowe
If you try to specify a non integer argument to --profile
it's silently swallowed and leads to interesting behaviour (see #998 (closed)) this warns about it. We could also use deprecate to warn about this but it's not really a deprecation...