Remove local options.xml

It turns out that this file was never read! The options.xml file is loaded by
the app::prog constructor, which occurs before the view_app constructor binds
its static archive. So while options.xml CAN be overridden by the user, it
CANNOT be overridden by a subclass.
Add ZIP distribution target to the Makefile