Remove extraneous debug
Issue #12: Disable filtering for now
Merge branch 'master' of github.com:potentialventures/cocotb
Tidy up source indent