* bash_plugins: new function run_times
* guilerc: new (empty)
* bash_aliases: new aliases for time