Automatically test Maven deployments

[cheshire]

This can be done by adding a Travis job which would create an empty maven project, add last version of JavaSMT as a dependency, and attempt to build it. Otherwise it's far too easy to have broken versions/dependencies, as Maven Central does not perform any of those checks.

[kfriedberger]

The same problem appears with our configurations of Ant/Ivy. We need to provide example projects and let them build.