Choose final implementation for thread/mutex and shared pointers

[JenniferBuehler]

At the moment thread-related headers and shared pointers are defined by macros. It is possible to switch between C++11 threads or using the boost libraries instead.

At some stage it should be decided which implementation to use and then get rid of the macros.