Use the develop branch of travis, not master