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.
Merge pull request #1346 from psav/dockerbot_wiptest

PR tester now is more picky on WIP/WIPTEST