Make all cabal flags manual

This means that dependency solver's job is easier (it doesn't need to
consider the opposite flag setting) and it means that cabal cannot
automatically switch these flags (which I don't think happened in the
past, but it's theoretically possible).