Update erltrek.hrl

* Include tinymt32 header file

* define types and records
Update erltrek_setup.erl

* Use records in erltrek.hrl

Add -spec for each function