Add d_mutex.hpp file, for a Mutex class
Misc
Add link to ProM plugin