add push-dist.sh for pushing subtree dist
deleted temporary files