removed hardware-lock-elision initial implementation: on Core i7 4770, benchmarks using two locks are much slower than LOCK-based and RTM-based code
optimized dining-philosophers benchmark; updated results
added dining-philosophers benchmark results for implementation using bordeaux-threads mutexes