Remove unnecessary compile-time options from config.h

[daverodgman]

This needs review

[yanesca]

We are removing a number of options as part of #4031 and #4029. Some more will be moved as part of #4038. Options removed or moved as part of these are out of scope for this issue.

First step of this task should be to review config.h, make a list of options that we could remove and reach a consensus on which options to remove.

[mpg]

First step of this task should be to review config.h, make a list of options that we could remove and reach a consensus on which options to remove.

I think this is #4058 - so perhaps #4058 is about reviewing options to decide which ones to remove, and this ticket would be about actually removing them? (It's not clear to me is such a distinction was intended or if #4058 is mostly an accidental duplicate.)

[yanesca]

I think #4058 is an accidental duplicate, I suggest we close this ticket down and keep #4058 as it is better specified.

[mpg]

Closing as a duplicated of #4058, since Janos suggesting doing so more than two weeks ago, I agree, and no-one objected in the meantime.