fix(opensmt): compiler errors in debug build
chore(.travis.yml): use system's camlp4
chore(CMakeLists.txt): bump version to 2.14.11