improve disjoints file

[balhoff]

Currently there is a product that covers only the taxslim, containing these disjointness axioms:

• X DisjointWith Y for all sibling taxa X and Y
• (in_taxon some X) DisjointWith (in_taxon some Y) for all sibling taxa X and Y

I would like to request two enhancements:

1. Add another type of axiom to the included disjoints (needed for more complete taxon restriction reasoning): (in_taxon some X) DisjointWith (in_taxon some (not X)) for every taxon X
2. Publish a disjoints file for the complete taxonomy.