User config and profiling

- Enable setting expansion for timings
- Enableable timing for query / traversal
- Config is automatically based with dist config
https://github.com/phpcr/phpcr-shell/issues/123