Fix the travis configuration file
Fix the travis configuration
Add a Makefile for convenience
Add Travis status badge to the README

[ci skip]
Use the develop branch for the travis badge