bump play-web to 0.7.2