Maven support for Yices

[kfriedberger]

Our Yices components come partially under GPL and thus are not included in publications in the IVY repository.
For Maven, the same problem appears: Yices and its bindings in JavaSMT are not included.

TODO:

• release our compiled Yices binaries into Maven
  (maybe wait until Yices2 windows support #215, when we have all binaries for Linux and Windows, and the build process is clear and simplified)
• release our Yices bindings into Maven (separate archive). A correct dependency definition is required, aka POM file.
• update our example Maven projects to include Yices, either optional or directly.

[kfriedberger]

This issue was solved with #253.
An example application using Maven can be found in doc/Example-Maven-Project.