Convert bash scripts to Python

See gh-4 for the hot deploy scripts introduced by @bpindelski. /cc @sbesson