use prove in travis