Test formulas with extra options in the Travis build

This set of commits:
- Adds ` brew install bioformats --without-ome-tools`, `brew install zeroc-ice34 --with-python` and `brew install zeroc-ice34 --with-java` to the Travis build
- Also patch the zeroc-ice34 formula to allow `brew install zeroc-ice34 --with-java` to pass with JDK 7 (see  http://www.zeroc.com/forums/help-center/5561-java-7-support.html)
- set the verbose mode on in Travis build to ease debugging