Add Travis-ci configuration and badge