Fix Travis CI configuration

- Remove phantom build included in previous commit
- Finish quickly in case of errors