Git artifacts

A few minor updates related to GitHub migration (.gitignore, SCM maven details).