add /inst to gitignore, we'll be using this as an install prefix in dev
modify version.{c,h} and tools to work nicely with git