disable travis for PRs [close #249]