[Ada] Fix documentation of -gnatw.K switch (activates => disables)