Added push.sh to put control files to server.