Git ignore tags file
R: update Makefile to use git index