Travis-ci: integrate perft checking