Add trace_filter option

This options allows one to filter [trace] output using a regexp.