.gitmodules and library in .gitignore