Optimizer example instruments

Two example instrument files have been contributed by Emmanuel Farhi: