Adding appetizers script to HOL-Omega examples, some mods to packages script.