Merge branch 'release/0.20' into develop
Update project and bug report url to point to github
Merge branch 'develop': minor change in the URLs
Remove obsolete debugging code