increase version number ahead of release 5.11

Daniel Kroening · Daniel Kroening · commit 90d0de91b091 · 2018-12-18T20:04:16.000Z
diff --git a/src/config.inc b/src/config.inc
@@ -71,4 +71,4 @@ endif
 OSX_IDENTITY="Developer ID Application: Daniel Kroening"
 
 # Detailed version information
-CBMC_VERSION = 5.10
+CBMC_VERSION = 5.11
