Configuring travis CI