Add an option for choosing desired cost estimator

Besides the standard equal costs cost estimator which is used as standard cost estimator, there are also a cardinality-based cost estimator and a syntax-oriented cost estimator. The user shall be able to choose between them in the preferences.