Add an example for Algorithm Configuration facade

[olegzaikin]

I am going to use SMAC3 to tune a CDCL SAT solver's parameters to minimize the total runtime on a set of instances (CNFs). I suppose that the Algorithm Configuration facade is the right choice. The provided examples clarify the usage of the following facades: Hyperparameter Optimization; Multi Fidelity; BlackBox. However, there is no example where the Algorithm Configuration facade is used. It would be really helpful if such and example is added. Thank you for your work!