gentags: add the ability to specify the location of the tags file

This is handy when generating tags for things like the kernel or
libraries that you use and have the sources stashed somewhere.