Add entries to .gitignore, to ignore non-version-control-friendly files in this drake-based workflow

use_drake_gitignore()