Pull data from github via API anyway, rather than use payload from push

This has an extra network request overhead, but I think it is *okay*,
since it will be now more easily reproducible

Change-Id: Iab8cdf5ac6843406b9e962526667c08f0dd585f6
Setup permissions and hardcoded hashbangs for runnable scripts

Change-Id: Ib7ebdfc0709fbc827505770da1db9d9685d0ee9c