version bump
Merge branch 'hotfix/0.25.20.12'
README for github.
version bump
Merge branch 'hotfix/0.25.20.13'
Remove obsolete files and update gitignore
version bump
Merge branch 'hotfix/0.25.20.14'