Fix lack of travis-ci configuration

Change-Id: Ie61c801d956260e1236b89fbc50e65c61e0f9bca