lightweight PHP script that creates bootstrapping EXEs or bash scripts for installing Zero Install plus a feed