implement redbug 'print_pids' option
minor bug fixes
Merge pull request #16 from massemanet/redbug_print_pids

Redbug print pids