Add travis config, fix badges