added scripts in misc/ that help setting up deployment by git push to server