Updated .gitmodules for Travis-CI.