DNM: run make check on pull requests

Signed-off-by: Loic Dachary <loic@dachary.org>
(What is a Rex node? Is that the new SeaMicro hardware?)