added building of develop branch, so that the result can be used as an indicator before creating release branches
Merge branch 'feature-readme-badges' into develop