Enabling provisional certification for tau-bounders

Enabling provisional certification for tau-bounders
Merge pull request #256 from ragerdl/master

Enabling provisional certification for tau-bounders