Changing travis configuration, since I'm not seeing any notifications.