PR tester now is more picky on WIP/WIPTEST

WIPTEST should be tested, but WIP shouldn't. So the check_pr script now
checks for [WIP] instead of WIP.