Clean up some leftover pieces of unused stuff
Generate ext_hhvm/infotabs files on the fly rather than as pre-builds