Removed a bunch of obsolete tools.
Incremented release version to 1.4.3.