Add formulae for Zork 1-3 and jzip (a dependency of the Zork formulae)