brought in .gitignore from the 'mav' branch, as it is useful for everybody