packaging: back rev tinyos-tools from 1.4.3 -> 1.4.2

tinyos-tools 1.4.3 breaks backward compatibility with TinyOS 2.1.2.
Back rev to 1.4.2 (from the Stanford repository).  We currently
don't know how to replicate 1.4.2 so it was pulled from the Stanford
repository.