Makefile: if .gitignore is missing, skip its installation
Makefile: add lib/3.7 to install targets