Some more improvements on mapcrafter.cpp.
Renamed some progress/timing related variables, 
removed old pthreads include.