Unused testing dependencies in the reasoners/web module

Looks there are two dependencies to integration tests modules which are not needed, since integration tests should be shipped with the integration-tests bundle (and the web module currently does not include any test).