Use non-obfuscated version of vaadinPush.js when not in production (#12527)

Change-Id: I8e0baec2391b140e6a72eedf6606fd2792c735bc