Travis integration, tied to develop (for now).