Remove old deadlock trace file. Change git clone url in documentation to reflect reality