configuring travis CI