Merge pull request #57 from peterschrammel/improve-jbmc-readme

Improve JBMC readme

Merge pull request #52 from tautschnig/fix-missing-word

Fix word forgotten in fb00248

Merge pull request #26 from peterschrammel/obj-bits-fixes

Object bits and other params