fix(emacs/lean-company): take out '@' from prefix for findp

fix #207
fix(util/memory): warning when compiling with clang++
feat(build): add IGNORE_SORRY cmake option

It allows us to perform nightly builds and avoid distracting warning
messages on CDASH.