ClanTox: a classifier of short animal toxins