LT now knows its git id

For better debugging, LT now knows not just the version number and build date but also the git commit id it was built from: JLanguageTool.GIT_SHORT_ID. This is shown in the “About” dialog of the stand-alone version and also printed when the server starts: