Fix .gitmodules for travis