Merge pull request #44 from hintjens/master

Improvements to engine generator
Merge pull request #45 from hintjens/master

Stability fixes and other changes
Merge pull request #46 from hintjens/master

Fixed bad travis file
Merge pull request #47 from hintjens/master

Need state/event names even if animate is off
Problem: multiple threads using same random seed

Solution: use zclock_time() for finer seed values.