University researchers claim DNS boosting tool can speed Web performance by 40%