non-critical update

Various small changes, .gitignore, internal version string, etc.