Another attempt to make Travis run pronto on pull requests