Merge branch 'release/0.9'
Highlight links to github
Add better jenkins support
Bump version