Upgrade cmake-tools
Upgrade tools Doxygen and Boost 1.54 (BoostBook)
CodingStyle: various fixes