Ignore generated file htsjdk.version.property.xml

This file is generated by build.xml, it doesn't want to be checked in, and we don't want to see it in "Untracked files" all the time.