Update config-available for clpBNR v0.12.0#180

ridgeworks wants to merge 1 commit intoSWI-Prolog:masterSWI-Prolog/swish:masterfrom

ridgeworks:masterridgeworks/swish:masterCopy head branch name to clipboard