Add proxy.js to the debian package