py: Print tag/version/git describe in uPy banner.
Merge branch 'master' of github.com:micropython/micropython
Don't print git hash as well as git tag in banner.