Revert "disable travis for PRs [close #249]"

This reverts commit 226d073458d212f6142c6d07197045cb506c88cc.

There's an option in the web ui to do this instead.