Build vaadinPush.js from the released version instead of having a separate javascript version in the project Change-Id: I37aac284216c8ec6efd03c242e639e88854f11fd