Build linter bears for any of openSUSE:devel:/tools:/statica that is missing

c.f. https://github.com/coala/docker-coala-base/issues/43

http://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Tumbleweed/src/ has a bunch of static analysis packages. It looks like none of them are in coala

These are "quick win" tools, as they are easy to add to our docker image, as the coala docker base is openSUSE.

* [ ] [cbmc](http://www.cprover.org/cprover-manual/installation-cbmc.shtml)
* [ ] cil 1.7.3 (which means it is not https://sourceforge.net/projects/cil/files/cil/ , which ends at 1.3.7)
* [ ] frama-c
* [ ] ltl2ba
* [ ] minisat
* [ ] smatch
* [ ] sparse
* [ ] stp
* [ ] z3

Start with the linked coala/docker-coala-base issue and inspect how packages are added to the openSUSE-based Docker image. Compare the listed packages with the statica repository, add the missing available tools, and verify that the image builds successfully with them installed.

Written by the indexing model from the issue text.