finish full port of tamarack2 example

Now everything is in a single theory: tamarackTheory. The theories
tamarack, tamarackProof1, tamarackProof2, tamarackProof3 are gone.
Moreover the proofs that were present in tamarackProof1 got changed
significantly.

first attempt at porting tamarack2 example

This commits adds the files just previously mentioned in the readme to
examples/hardware. These are hol88 examples that should be ported to the
current version of HOL 4. I started with porting the tamarack2 example.
A very close port running on HOL 4 is ready, a more liberal one is work-
in-progress.