Merge tag 'v1.13'

[maven-release-plugin]  copy for tag v1.13
Merge tag 'v1.13.1'

[maven-release-plugin]  copy for tag v1.13.1
Update README.md
Merge branch 'develop' of github.com:ontop/ontop into develop
Trying to remove Daide
closeToSolution
Merge branch 'develop' of github.com:ontop/ontop into protegeBugfix
Dag's HAck
Dag's bugfix
Merge branch 'develop' of github.com:ontop/ontop into protegeBugfix
Merge branch 'develop' of github.com:ontop/ontop into develop
Remove Davide Complete
Merge branch 'protegeBugfix' into develop