php: rename `profile` to `time`
php: add an utility to count the provided function calls
php: add --disable-hist to count script
stap: be a bit more verbose by default to show what's happening