add a cmake option WITH_TOOLS
Merge pull request #1052 from alex85k/patch-4

add a cmake option WITH_TOOLS
add a safe-guard against bad input

do not write empty original_edge_data_vector to file
Remove extra mutex unlocking in ConcurrentQueue.h

As discussed in https://github.com/DennisOSRM/Project-OSRM/pull/998 , unlocking the mutex is performed on destruction. Second unlocking gives an assertion (for debug version) for Windows and FreeBSD 10.
Use TimingUtil.h for all time measurement,
and make TimingUtil.h Windows-compatible
Globally rename UUID to FingerPrint
fix broken transmission of checksum/hinting mechanism on shared memory
Merge pull request #1058 from alex85k/patch-4

add a safe-guard against bad input
Merge branch 'patch-6' of https://github.com/alex85k/Project-OSRM into alex85k-patch-6
Merge branch 'alex85k-patch-6' into develop
Merge branch 'patch-timing' of https://github.com/alex85k/Project-OSRM into alex85k-patch-timing

Conflicts:
	extractor.cpp
Merge branch 'alex85k-patch-timing' into develop