ClanTox: a classifier of short animal toxins | Synapse