There has been a gruesome mass cull of crocodiles in Indonesia after villagers took revenge for the death of a man, using machetes, knives and hoes to kill nearly 300 reptiles.