fixed gitignore, added batch script for tag-proximity