Write a script to deploy to execution server

Currently we have a script for registration server, but not for execution server (it is actually in ExecutionServer repository). Make deploy_to_execution_server.sh, and if possible, consider combining common parts for maintainability.
