Update bug reporting instructions: how to retrieve version information for a Git build