Extend INSTALL with current examples and options.