Merge branch 'filter_tasks' into 'master'

Show specific task by pid or name

See merge request fweisbec/dynticks-testing!5
tree: ec3cf422ee80c6ad641f8ed3bb8cc526b3433bbd
  1. Makefile
  2. noise_parse.py
  3. README
  4. run
  5. trace.1.example
  6. user_loop.c