Add -Wno-nonnull-compare to proof/proofd in classic builds

This is already the case in CMake builds, adding it to make
behavior between build types more uniform. The option is not
added for ICC since it does not have such option and will
generate warnings about ignored flags. Also remove some old
unused options.