Updated modules:

bibdk_theme
ding_facetbrowser
ting_agency
ting-client
ting_openformat
ting_openuserstatus
bibdk_borchk
bibdk_cart
bibdk_favourite
bibdk_frontend
bibdk_linkme
bibdk_mypage
bibdk_forsrights
bibdk_openorder
bibdk_openuserstatus
bibdk_provider
bibdk_searchhistory
Tagging version 7.x-0.20.
Merge branch 'release/7.x-0.20' into develop