chore(tests/*/test.sh): change working dir; avoid using ls in for-loop
chore(CMakeLists.txt): add EMACS_LIB option to specify installation path for emacs stuff
chore(.travis.osx.yml): add configurations using clang++
doc(make/msys2): update instructions
feat(quantifiers.lean): change exists_unique to a constructively stronger formulation

the previous formulation was constructively probably to weak to be useful
foo
feat(category): split category in different files
fix previous commit
foo
home