A mob in Indonesia armed with knives, hammers and clubs slaughtered nearly 300 crocodiles at a wildlife sanctuary after a man was killed by one of the reptiles.