Creating linux configuration file from z3 model takes long

[necipfazil]

Klocalizer.get_config_from_model() takes long (longer than the SAT check z3 spends for creating the model).

This is not necessarily a bug but unintuitive to me; therefore, I will check if there is something wrong.