make: when mrproper, also remove Git tree unrelated files