Updated Travis-ci config