Merge branch 'release/7.x-0.8.5' into develop
US 721: Added bibdk_tracelog to make file
add ADHL to makefile
add bibdk_search_controls to makefile
Updated bibdk_adhl, bibdk_custom_search, bibdk_favourite, bibdk_frontend, bibdk_holdingstatus, bibdk_reservation, bibdk_search_controls, bibdk_searchhistory, bibdk_theme, bibdk_tracelog, ding_user, open_holdingstatus, ting-agency, ting-client, and ting_openformat.
Tagging version 7.x-0.9.
Merge branch 'release/7.x-0.9'