Correction: include cmake dir
Merge branch '1.2-dev' of github.com:TRIQS/triqs into 1.2-dev
Fix #128