travis: use DEBUG_LOCKORDER for our quick/small Linux build