A little script which makes it easy to deploy PeerTube on Fly.io