Improved coloring for benchmark table.
Merge branch 'master' of github.com:flow123d/flow123d
Fix and simplify BDDCML Find and Install.

- incorporate FCMagleHeader/CMakeLists.txt into InstallBDDCML.cmake
- fix FindBDDCML to find FC_Magle.h
- fix linsys_BDDCML.cc , wrapper needs #include <map>
More ignored files.
Merge branch 'master' into DF_xterminate_exceptions